The Isaac Newton Institute: Creating eureka moments

One of the most exciting places in the mathematical world is the Isaac Newton Institute for Mathematical Sciences (INI), an international research centre and our neighbour here on the University of Cambridge's maths campus.

The INI attracts leading mathematical scientists from all over the world, and is open to all. We are proud to be collaborating with the INI to bring the cutting edge mathematics that is being done there to the general public. The following content is part of this collaboration.

Collection

Robot being taught maths

Proof assistants

Black and White tree

Robot being taught maths

Article

Robot being taught maths

Proof assistants (part 2)

Proof assistants might be important in the future. What if we could get AI to use them for example?

Article

Black and White tree

Proof assistants

Human mathematicians make errors. Proof assistants are here to help and while they're at it they turn maths into a highly collaborative experience.

Article

Sci-art competition: The results are in!

The Anomalous Mathematical Patterns Sci-Art Contest was held as part of the Stochastic systems for anomalous diffusion research program at the Isaac Newton Institute.

Collection

Orange

The Kervaire invariant problem

Explore our content on a long-standing problem in topology that has only recently been solved.

Article

Orange

Hunting strange shapes in higher dimensions

Want to expand your horizon? Then discover one of the hardest problems in algebraic topology which has only recently been solved: the Kervaire invariant problem.

Podcast

Zhouli Xu

Living proof: Hunting through higher dimensions with Zhouli Xu

Zhouli Xu takes us on a trip into higher dimensions, retracing some of the journey towards a proof of the Kervaire invariant problem.

Article

A torus cut open

Hunting strange shapes in higher dimensions: Continued

We continue our journey towards a proof of the Kervaire invariant problem.

Article

Sphere

Maths in a minute: The Poincaré conjecture

We explore a famous problem which shaped 20th century topology.

Podcast

An artistic representation of a digital twin

Meet your digital twin

Will we one day have digital versions of our entire body to help us make medical and life style decisions and see what medical treatments are right for us? Find out in this podcast.

Podcast

Adina

Living Proof: The meaning is in the arrows with Adina Goldberg

Find out why "the meaning is in the arrows" in our podcast with Adina Goldberg!

Article

A triangular tiling of the hyperbolic plane

A (hi)story of geometry

A story from geometry shows how developments in mathematics have fundamentally changed the way we think about the world around us.