---
format: "aidr-story-markdown/v1"
id: "080d4a0513b1dff6b28854adce5bd9283d92b75a31cc7d58017731a37807f964"
canonical_url: "https://aidr.today/080d4a05?lang=en"
title: "OpenAI Math Release Includes Claimed Progress on Three Millennium Prize Problems"
lang: "en"
requested_lang: "en"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-10-06T23:06:36.000Z"
category: "Research"
topics: ["openai","math","millennium-prize","riemann-hypothesis","lean","formal-verification","llm","open-source"]
source_urls: ["https://huggingnews.com/ai/openai-math-release-includes-claimed-progress-on-three-millennium-prize-29a7cc5e","https://x.com/Hesamation/status/2107558011141263365","https://x.com/OpenAI/status/2107596713791767021","https://x.com/kimmonismus/status/2107597320028065793","https://x.com/mathemagic1an/status/2107602453441253611","https://x.com/cremieuxrecueil/status/2107600945383112990","https://x.com/willdepue/status/2107605673613946906","https://x.com/spicey_lemonade/status/2107601752744984607"]
summary: "OpenAI released 722 math manuscripts grouped into 372 families, including a claimed proof of the quasi-Riemann hypothesis with a 7/8 bound and partial progress on the Riemann, Hodge, and BSD Millennium Prize problems, as well as a claimed resolution of Hilbert’s tenth problem over the rationals and a result raising the chromatic number of the plane lower bound to six. The findings were produced by an internal, unreleased OpenAI model and include papers, proof artifacts, and reasoning summaries, with consultation from the Institute for Advanced Study's Advisory Group on Mathematics and Artificial Intelligence."
---

# OpenAI Math Release Includes Claimed Progress on Three Millennium Prize Problems

> [Open the canonical story](<https://aidr.today/080d4a05?lang=en>)

**Published:** 2026-10-06T23:06:36.000Z
**Category:** Research
**Topics:** openai, math, millennium\-prize, riemann\-hypothesis, lean, formal\-verification, llm, open\-source

## Summary

OpenAI released 722 math manuscripts grouped into 372 families, including a claimed proof of the quasi\-Riemann hypothesis with a 7/8 bound and partial progress on the Riemann, Hodge, and BSD Millennium Prize problems, as well as a claimed resolution of Hilbert’s tenth problem over the rationals and a result raising the chromatic number of the plane lower bound to six\. The findings were produced by an internal, unreleased OpenAI model and include papers, proof artifacts, and reasoning summaries, with consultation from the Institute for Advanced Study's Advisory Group on Mathematics and Artificial Intelligence\.

## Sources

- [Story source](<https://huggingnews.com/ai/openai-math-release-includes-claimed-progress-on-three-millennium-prize-29a7cc5e>)
- [Supporting source](<https://x.com/Hesamation/status/2107558011141263365>)
- [Story source](<https://x.com/OpenAI/status/2107596713791767021>)
- [Supporting source](<https://x.com/kimmonismus/status/2107597320028065793>)
- [Supporting source](<https://x.com/mathemagic1an/status/2107602453441253611>)
- [Supporting source](<https://x.com/cremieuxrecueil/status/2107600945383112990>)
- [Supporting source](<https://x.com/willdepue/status/2107605673613946906>)
- [Supporting source](<https://x.com/spicey_lemonade/status/2107601752744984607>)