AGMAI

Headlines · 1

1. 2d
   OpenAI releases 722 math manuscripts from unreleased frontier model

   OpenAI published 722 mathematics manuscripts on GitHub on October 6, grouped into 372 result families, all produced by an unreleased internal frontier model. The company says the set covers hundreds of open questions, including a quasi-Riemann hypothesis result (a zero-free region up to real part 7/8), three-dimensional Kakeya maximal and four-dimensional Kakeya conjectures, the Unique Games Conjecture, BSD formulas, Hilbert's tenth problem over the rationals and the Hodge conjecture for CM abelian varieties. OpenAI says the average result used compute equivalent to roughly three hours of ChatGPT Pro thinking and provides Lean formalizations for about 235 of the 372 families, while acknowledging that not all manuscripts are formalized. The release follows advice from the independent AGMAI group and continues to stir unease among mathematicians.

   The Verge AI · 🔥 142

Experience and discussion from the community

Share my AGMAI experienceAsk about AGMAI