A new AI model, reportedly surpassing OpenAI's Astra, solved the Navier-Stokes problem, a Millennium Prize problem, in 88 hours, with the Lean formalization and verification taking an additional 17 hours. The model's performance was achieved using a massive amount of compute resources, with 4.9 million messages and 300 billion output tokens sent during the process. AI summary
Firehose
Filtered to People, tagged “millennium prize problem” · clear filters
Browse: People · Companies · Papers · Podcasts · Hacker News · Deep dives