Tsotne Tabidze

Software Engineer

[Tsotne Tabidze @tsotnet]

@datval @samongaro_ 😂

[Tsotne Tabidze @tsotnet]

To think that the difference between winning IMO gold and solving a Millennium Prize Problem was a mere 14 months of exponential progress.

[OpenAI @OpenAI]

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.

The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.

The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.

[Tsotne Tabidze @tsotnet]

@ID_AA_Carmack This feels aligned with good software design. Strong abstractions, modularity, and deep, narrow interfaces reduce the context you need to hold, helping both humans and LLMs reason about code.

The problem is that current LLMs can’t yet consistently define good boundaries.

[Tsotne Tabidze @tsotnet]

@markchen90 Insane!