openai/math

Everything Fervor AI has published that touches openai/math — 2 pieces, newest first.

• OpenAI's Math Repo Holds 722 Manuscripts, and Its Own Catalogue Formalizes a Fraction of Them

  Openai/math's own formalization catalogue links 162 of its 722 manuscripts to a formalized main result and marks its review status unchecked, so the right way to read…

• Briefing · October 7, 2026 · morning

  On October 6 OpenAI disclosed about three hours of Pro-level thinking per math result while dropping output charges on its Decisions API, and Google shipped an embedding…