As of Oct 6, 2026, OpenAI's openai/math repo holds 722 manuscripts with solutions to hundreds of open problems, produced by an unreleased frontier model and released with the AGMAI advisory group.
OpenAI published a batch of mathematical manuscripts and supporting proof artifacts on GitHub under openai/math. Per The Verge, the batch holds 722 manuscripts covering 372 result families, with solutions to "hundreds" of open questions produced by an unreleased frontier model. An independent advisory group of elite mathematicians, AGMAI, was formed to communicate the results responsibly. The release extends a run of AI math breakthroughs that has impressed and unsettled parts of the mathematical community.
Items older than 72 hours never go in Top stories and show their original date.