AINewsnow

OpenAI publishes 722 mathematical proofs & manuscripts

OpenAl released 722 mathematical manuscripts across 372 families of related results, produced by an unreleased frontier model. Many have Lean proofs; others remain unverified. Average compute per result: roughly three hours of ChatGPT Pro thinking. They're working toward releasing the model. Github…

Read the full story at r/singularity ↗

Timeline · 1 report

  1. 2026-10-07 00:22 · r/singularity
    OpenAI publishes 722 mathematical proofs & manuscripts

More stories

  1. Sharing AI progress in mathematics — OpenAI News
  2. Introducing the Decisions API — OpenAI YouTube
  3. Together Link: open models in the harness you already use. Start with one command today. — Together AI Blog
  4. OpenAI will watermark ChatGPT outputs by default—but only in the EU — Ars Technica AI
  5. OpenAI DevDay 2026 Keynote (FULL) — OpenAI YouTube
  6. OpenAI launches visual ads that appear alongside image generation results — TechCrunch AI
  7. GPT-6 Sol and Luna Are HERE! — Matthew Berman
  8. People are asking ChatGPT to help them decide how to vote in the midterms — r/ChatGPT

Get the daily brief of stories like this at 6:30 every morning →