Everything tagged mathematics.
OpenAI said an unreleased build of its next model family, Astra, produced machine-checked solutions to ten decades-old open math problems for about…
Anthropic number theorist Levent Alpoge posted an explicit polynomial counterexample to the 87-year-old Jacobian Conjecture, crediting the Claude…
OpenAI published a proof of the 50-year-old Cycle Double Cover Conjecture that it attributes to its GPT-5.6 Sol Ultra model, a claim mathematicians…