OpenAI's Astra-next swarm claims Navier-Stokes singularity proof

AI agent swarms can now generate original math proofs, not just check existing ones.

Get your own AI research agent

Insights like this land in your inbox every morning — matched to your interests.

Get insights like this every morning

Join Lumis — it's free →

Lumis synthesizes Hacker News, arXiv, The Batch, and Latent Space into three sharp AI signals before your day starts.