Tag: mathematics
All the articles with the tag "mathematics".
-
Astra's Math Results Make Verification The Main Event
OpenAI says Astra advanced ten long-standing math problems and formalized them in Lean. The real shift is from generating proofs to verifying them at scale.
-
OpenAI's Geometry Proof Is the Research Shock
OpenAI says an internal general-purpose reasoning model disproved a central conjecture in discrete geometry. The important part is not the headline, it is the kind of work that survived expert scrutiny.