TAG
#mathematics
Stories connected through a shared idea, actor, technology or theme.
OpenAI releases a large collection of AI-generated mathematical manuscriptsThe collection contains 722 manuscripts organised into 372 related families, with Lean formalisation available for many but not all results. OpenAI warns that some non-formalised material may contain errors and is inviting community scrutiny.→OpenAI says an internal agent swarm produced a Navier–Stokes disproofOpenAI says an internal model produced an analytical proof that a smooth three-dimensional fluid can develop a finite-time singularity, addressing one formulation of the Navier–Stokes Millennium Prize problem. The work used approximately 10,000 agents, but independent mathematicians have not yet verified the result.→