Search Write for us Sign in
OpenAI Daily News

Independent news about OpenAI and ChatGPT. Not an OpenAI publication.

Monday, October 12, 2026Sources checked

Back
Models & Research

Sharing AI progress in mathematics

Primary sourceOpenAI

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

This notice was published by OpenAI. What you see here is a brief excerpt. The full text is theirs.

Continue reading at OpenAI

Pass it on X Facebook WhatsApp

Latest in Models & Research

  1. OpenAI’s GPT-6 may lead to robotics breakthrough as soon as next year: Unitree founder

    South China Morning Post

  2. OpenAI's latest blow to mathematicians: 'They have annihilated my field of research'

    Le Mondeand 1 other

  3. Hugging Face Turns OpenAI’s 300+ Math Proofs Into Open-Source RL Environments For Training AI Models

    OfficeChai

  4. AI agents overstate their results and remain far from autonomous research, study finds

    The Decoder

  5. Some OpenAI math discoveries are ‘jewels,’ if verified. But mathematicians are wary of ‘slop.’

    NBC News

  6. "How much beauty have we lost?" Mathematicians react with shock and disgust as OpenAI bulldozes their field

    The Decoder

  7. ‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop

    The Verge

  8. Mathematicians React With Fury as OpenAI Releases Hundreds of New AI-Generated Proofs

    Futurism

Everything in Models & Research

API & Codex

  1. OpenAI Python SDK v3.29.0

    Primary sourcePython SDK on GitHub

  2. Sea and OpenAI bring Regional Codex Hackathon to Malaysia with over RM200K in API credits up for grabs

    SoyaCincauand 3 others

  3. OpenAI Python SDK v3.28.0

    Primary sourcePython SDK on GitHub

  4. Codex CLI 0.162.1

    Primary sourceCodex on GitHub

  5. Building the Codex community

    Primary sourceOpenAI on YouTube

Business

  1. Anthropic's Andrej Karpathy says "the external world has seen the preview" of what AI can actually do

    The Decoder

  2. UK Reverses Trump Plans to Keep Back OpenAI, Anthropic Models

    Bloombergand 1 other

  3. Artificial - LFF: OpenAI drama is scariest film of the year

    London Evening Standard

  4. Anthropic and OpenAI now have lobbyists in North Carolina. Here’s who else does

    The Business Journals

  5. Anthropic and OpenAI prepare for the day after AI agents throw America into 'crisis'; no internet, power breakdown, water plants shut and more

    The Times of India