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