Fun Math

OpenAI reported in its official report On the Navier–Stokes Millennium Prize Problem that a system of approximately 10,000 autonomous AI agents found a mathematical solution to the Navier–Stokes equations — one of the seven famous Millennium Prize Problems — in 88 hours. The formal verification of the mathematical proof in the Lean language was completed in just 17 hours by the GPT-6 Astra tool.

The Navier–Stokes equations form the foundation of fluid dynamics, describing the motion of viscous fluids and gases. The core of the problem lies in determining whether these equations always have smooth (continuous) solutions. As highlighted by media outlets, including Hromadske’s coverage of OpenAI’s achievement, the company’s algorithms constructed an example of a finite-time blowup, thereby confirming the scenario of breakdown in smoothness.

The year 2025 was marked by significant events in mathematics — from international recognition of scholars to historic breakthroughs in fundamental theories.

Outstanding Awards and Recognition

Breakthrough Prize in Mathematics — the prestigious 2025 prize was awarded to the eminent mathematician Dennis Gaitsgory for his fundamental contributions to the Geometric Langlands Program, in particular for proving the Geometric Langlands Conjecture in characteristic zero.

May 5, 2025 is Square Root Day.

Square Root Day is an unofficial holiday celebrated on the day when the day of the month and the number of the month are the same and equal the square root of the last two digits of the current year. In each century, there are only 9 such dates.