OpenAI Math Breakthroughs

19 articles · 9 sources · 1 this week

Coverage

1. DeepMind AI formally verifies Signal protocol security

   WIRED AI · November 10, 2026

2. Axiom Math formalizes Stacks Project with AI agents

   TechCrunch AI · November 5, 2026

3. OpenAI Disproves Exponential Time Hypothesis

   Matt Wolfe · October 30, 2026

4. OpenAI doubles down on math AI despite researcher backlash

   The Verge AI · October 30, 2026

5. AI Formal Verification Startups Gain Traction

   WIRED AI · October 29, 2026

6. OpenAI's math breakthroughs spark researcher backlash

   The Verge AI · October 27, 2026

7. OpenAI AI disproves Exponential Time Hypothesis

   Wes Roth · October 27, 2026

8. OpenAI claims major proofs in math, CS, and physics

   The Verge AI · October 26, 2026

9. OpenAI Releases Mathematical Manuscripts and Progress Data

   AI Explained · October 12, 2026

10. OpenAI Releases 372 Novel Mathematical Proofs

    The AI Daily Brief · October 11, 2026

11. OpenAI Publishes 722 Math Papers

    Lev Selector · October 9, 2026

12. OpenAI Math Release Sparks Backlash and Crypto Fears

    Wes Roth · October 9, 2026

13. OpenAI releases 722 math proofs; Mistral launches Le Chonk

    The Rundown AI · October 7, 2026

14. OpenAI releases 722 AI-generated math manuscripts

    Wes Roth · October 7, 2026

15. OpenAI releases 722 math manuscripts from frontier model

    The Verge AI · October 6, 2026

16. OpenAI faces backlash over math breakthroughs and ethics

    The Verge AI · October 5, 2026

17. OpenAI claims Navier-Stokes proof via agents

    WIRED AI · September 28, 2026

18. OpenAI launches math advisory group amid controversy

    TechCrunch AI · September 21, 2026

19. Mathematicians' Dilemma: AI Utility vs. Attribution

    WIRED AI · September 19, 2026