OpenAI releases 372 math results from an unreleased model
Many proofs have been checked in Lean; mathematicians say it will take months to assess their significance.
OpenAI released 372 results from its new, unreleased large language model, each of which the company says resolves or makes substantial progress on a major open question in mathematics or theoretical computer science, Scientific American reported on Tuesday.
The company posted the results in a GitHub repository. Many have already been verified in Lean, a programming language that validates a proof's logic, according to the report. Claimed results include a solution to the four-dimensional Kakeya conjecture and improvements to important computer algorithms.
An OpenAI spokesperson said the model produced almost every result in response to a single prompt handed to a single AI agent, Scientific American reported.
Mathematicians will need months to determine whether the proofs contain novel ideas or are mostly combinations of existing techniques, the publication said.
From ARQS Sponsored
For B.C. teams putting stories like this into practice, ARQS offers Flow automation, SignDesk, Northline course catalogue and ARQS security. In the ARQS Store, ARQS Pipeline Pro Setup, ARQS InvoiceFlow Billing Control Studio, ARQS InvoiceFlow Collections Console are among the newest tools available.
- Portfolio Pulse
- AI businesses
- ARQS software
- Free AI toolkit
- AI readiness audit
- Mortgage Intelligence
- AI quick start
- AI services
- AI Front Desk
- Live Intelligence
- AI Academy Year 1 — Foundations AI Knowledge Management
- AI Academy Year 1 — Foundations AI Project Management
- AI Academy Year 1 — Foundations AI for Finance
From our partners
Partner content
AI AcademyAI Academy course catalogueSelf-study courses in practical AI workflows from Northline Technology Institute.
ARQSARQS StoreAI receptionist, business automation, readiness reviews, website audits and launch packages.AI AcademyAI Academy Year 1: FoundationsDesign controlled AI-assisted workflows for real operations.
ARQS InvoiceFlowInvoiceFlow Billing Control StudioInvoice-data quality analysis with an ARQS-reviewed findings summary.Most read
- Court halts Vancouver Aquatic Centre demolition until after civic election
- TSX gains 319 points as energy and telecom stocks lead
- Poilievre takes his tariff-free auto pact pitch to Detroit
- 'I Play Rocky' and 'Ceremony' take VIFF audience awards
- BC Conservatives take five-point lead as leaders head into only TV debate
