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 tagged “millennium prize problem” · clear filters
Browse: People · Companies · Papers · Podcasts · Hacker News · Deep dives
Browse by tag
artificial intelligence 87continual learning 32AI 24reinforcement learning 14agentic coding 13AI safety 13open-weight models 13AI agents 10existential risk 9AI ethics 8cybersecurity 8ethics 7language models 7machine learning 7natural language processing 6open-source 6Reinforcement learning 6security 6artificial general intelligence 5Diffusion models 5recursive self-improvement 5robotics 5software development 5Agentic AI 4large language models 4mathematics 4multi-agent systems 4Recursive self-improvement 4agentic AI 3agents 3