{"schema":"postcutoff/event@1","as_of":"2026-10-12T07:22:00+02:00","url":"https://postcutoff.com/e/2026-09-10-pi-irrationality-measure-bai-gpt/","md":"https://postcutoff.com/e/2026-09-10-pi-irrationality-measure-bai-gpt/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"Adam Bicz","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-09-10-pi-irrationality-measure-bai-gpt","date":"2026-09-10","date_precision":"day","short_title":"Irrationality measure of π lowered to 7.101862832357, the first improvement on Zeilberger–Zudilin (2019), with GPT-5.6 Sol and GPT-6 Astra; four weeks later OpenAI claimed the exact value 2","deck":null,"takeaway":"The best known bound on how well π can be approximated by fractions moved for the first time since 2019, in a preprint whose author says OpenAI models helped with parameter search, proofs and computation. Claude-assisted papers then moved the ζ(3) and ζ(2) records the same way. OpenAI's 6 Oct release goes much further, claiming the conjectured exact value μ(π) = 2 with a Lean proof, which would make all these upper bounds obsolete.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":[{"n":1,"title":"Bai: The irrationality measure of π is at most 7.101862832357 (arXiv 2609.11276)","url":"https://arxiv.org/abs/2609.11276","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"Zeilberger & Zudilin: The irrationality measure of π is at most 7.103205334137… (arXiv 1912.06345)","url":"https://arxiv.org/abs/1912.06345","type":"paper","group":"primary","domain":"arxiv.org"},{"n":3,"title":"Niedbala Giraudin: A closed-form law for the Salikhov–Zeilberger–Zudilin–Bai family (arXiv 2609.37459)","url":"https://arxiv.org/abs/2609.37459","type":"paper","group":"primary","domain":"arxiv.org"},{"n":4,"title":"Niedbala Giraudin: A new upper bound for the irrationality exponent of ζ(3) (arXiv 2609.26980)","url":"https://arxiv.org/abs/2609.26980","type":"paper","group":"primary","domain":"arxiv.org"},{"n":5,"title":"Niedbala Giraudin: A new upper bound for the irrationality exponent of ζ(2) (arXiv 2610.02912)","url":"https://arxiv.org/abs/2610.02912","type":"paper","group":"primary","domain":"arxiv.org"},{"n":6,"title":"OpenAI math catalogue (CONTENTS.md): 017 The irrationality exponent of π is 2","url":"https://github.com/openai/math/blob/main/CONTENTS.md","type":"paper","group":"primary","domain":"github.com"},{"n":7,"title":"'Dan Brown': The irrationality measure of the logarithm of a rational number is 2 (PDF, 7 Oct)","url":"https://jdb19937.github.io/log-irrationality-measure/logmeasure.pdf","type":"paper","group":"primary","domain":"jdb19937.github.io"},{"n":8,"title":"Hacker News: The logarithms of rational numbers have irrationality exponent 2","url":"https://news.ycombinator.com/item?id=50027884","type":"discussion","group":"reactions","domain":"news.ycombinator.com"}],"official":7,"filed":"2026-10-11","updated":"2026-10-12","orgs":["OpenAI","Anthropic"],"title":"Irrationality measure of π lowered to 7.101862832357, the first improvement on Zeilberger–Zudilin (2019), with GPT-5.6 Sol and GPT-6 Astra; four weeks later OpenAI claimed the exact value 2","summary":"On 10 Sep 2026 Yufei Bai posted arXiv 2609.11276, proving that the irrationality measure of π is below 7.101862832357, down from the 7.103205334137 of Zeilberger and Zudilin (arXiv 1912.06345), by introducing two independent exponents into their contour integral and setting both to 1857/2785. The abstract carries a \"Generative-AI disclosure\": OpenAI's GPT-5.6 Sol and GPT-6 Astra \"assisted throughout the research and preparation of this article, including parameter exploration, proof development and checking, computation, and manuscript drafting and revision\". The gain is small (about 0.019%), and the paper is an unrefereed preprint. A French independent researcher, David Niedbala Giraudin, then carried the same \"displaced parameter\" mechanism to ζ(3) and ζ(2), with Claude as technical assistant. OpenAI's 6 Oct math release then claimed μ(π) = 2 exactly (family 017, Lean-formalized, not yet independently reviewed).","key_facts":["Result: μ(π) < 7.101862832357 (Bai, arXiv 2609.11276, v1 10 Sep, v2 11 Sep 2026); previous record μ(π) ≤ 7.103205334137… (Zeilberger & Zudilin, arXiv 1912.06345), which refined Salikhov's 7.606308…","Improvement: 'more than 0.001342501780', about 0.01890%; the point A1 = A2 = 1857/2785 is 'a strict two-dimensional local minimizer' of the auxiliary bound function in its chamber, 'not a claim that the point is a global optimizer among all constructions'","Disclosure (abstract): 'OpenAI's GPT-5.6 Sol and GPT-6 Astra assisted throughout the research and preparation of this article, including parameter exploration, proof development and checking, computation, and manuscript drafting and revision. Responsibility for all mathematical claims and for the final text rests with the author.' Acknowledgments thank Bin Dong and Haocheng Ju of Peking University 'for their guidance'","Follow-up 1: Niedbala Giraudin, arXiv 2609.37459 (28 Sep, v3 5 Oct): one closed-form law μ(a0,a1,b) for the Salikhov–Zeilberger–Zudilin–Bai family that reproduces all three records, with computational evidence that Bai's point is the global optimum of the family (statements labelled PROVED / VERIFIED / CONJECTURE); 'Technical assistance: Claude (Anthropic)'","Follow-up 2 (ζ(3)): Niedbala Giraudin, arXiv 2609.26980 (22 Sep): μ(ζ(3)) < 5.5138800, the first improvement on Rhin–Viola's 5.513891 (2001), by moving their parameter point 'the mechanism … recently used by Bai for π'; the author calls the gain of 1.07·10⁻⁵ 'by itself … of little interest'. Acknowledgements: 'This work was carried out with the assistance of an AI system (Claude, Anthropic); every claim in it has been checked by independent computation'; ancillary C verifier (verify_zeta3.c)","Follow-up 3 (ζ(2)): Niedbala Giraudin, arXiv 2610.02912 (2 Oct): μ(ζ(2)) < 5.0193784, below the Lean-checked 5.0495243 of Sept 2026; 'Technical assistance: Claude (Anthropic)' (see 2026-09-25-zeta2-irrationality-measure-claude-lean)","Overtaken by a stronger claim: OpenAI's 6 Oct 2026 catalogue, family 017 'The irrationality exponent of π is 2' (preprint dated 24 Sep 2026, Lean formalization of the exponent), proves 'the conjecture that the irrationality exponent of π is 2' and hence convergence of the Flint–Hills series Σ 1/(n³ sin² n); not yet independently reviewed (see 2026-10-06-openai-math-release-722-manuscripts)","Spin-off: a pseudonymous 'Dan Brown' preprint (dated 7 Oct, footnote 'Author of The Da Vinci Code', posted on GitHub Pages) adapts the interpolation-determinant argument of the μ(π) = 2 paper to claim μ(log α) = 2 for every positive rational α ≠ 1, so μ(log 2) = 2 (previous record 3.5746, Marcovecchio), formalized in Lean 4 over Mathlib; HN thread 21 points; author identity unknown, unreviewed","Verification: unrefereed preprints; the Niedbala Giraudin papers ship standalone verification programs; no expert reaction found as of 11 Oct 2026"],"key_numbers":[],"tags":["math","number-theory","irrationality-measure","pi","diophantine-approximation","gpt-6-astra","gpt-5-6-sol","claude"],"science":{"field":"mathematics","subfield":"number theory / Diophantine approximation","problem":"Upper bounds on the irrationality measure μ(π) (record 7.103205… since Zeilberger–Zudilin, 2019); spill-over to μ(ζ(3)) (record since Rhin–Viola, 2001) and μ(ζ(2))","result":"μ(π) < 7.101862832357 via a two-exponent Zeilberger–Zudilin integral at A1 = A2 = 1857/2785; follow-ups give μ(ζ(3)) < 5.5138800 and μ(ζ(2)) < 5.0193784","open_since":"","ai_system":["GPT-5.6 Sol","GPT-6 Astra","Claude"],"human_role":"AI-assisted: Bai credits GPT-5.6 Sol and GPT-6 Astra with help 'throughout' (parameter search, proof development and checking, computation, writing) and takes responsibility for the claims; Niedbala Giraudin credits Claude as technical assistant and checks every claim by independent computation","verification":{"key":"preprint","label":"Preprint only","text":"Unrefereed preprints; computer-verified numerics (standalone verifiers for the follow-ups)"},"status":"pending","shock":"","short":"Irrationality measure of π"},"body_md":"## What happened\n\nThe irrationality measure of a number says how well it can be approximated by fractions. For π only upper bounds are known, and they\ncome from carefully tuned integrals: Hata, then Salikhov (7.606…), then Zeilberger and Zudilin (7.103205…, posted in December 2019).\nYufei Bai added two free exponents to the Zeilberger–Zudilin integral and found a better parameter point, giving μ(π) < 7.101862832357.\nThe abstract itself carries a generative-AI disclosure naming GPT-5.6 Sol and GPT-6 Astra.\n\nWithin weeks David Niedbala Giraudin, an independent researcher in France, applied the same idea, displacing a classical parameter\npoint instead of changing the construction, to ζ(3). That gave the first improvement on Rhin and Viola's 2001 record, though by only\nabout 10⁻⁵. He did the same for ζ(2) and also wrote a note unifying the three π records in one closed-form law. All three papers\ncredit Claude (Anthropic).\n\n## Why it matters\n\nRecords for classical constants such as π and ζ(3) had stood for years. They fell to small, computation-heavy parameter searches of the\nkind AI assistants are good at, and the authors say so. The gains are tiny, and the authors themselves say they matter less than what\nthey show: the classical parameter choices were not optimal. For π the episode was short: four weeks after Bai's bound, OpenAI claimed the exact value 2, which, if it holds up, ends the race of upper bounds altogether.","disputed":[{"label":"Verification","text":"Unrefereed preprints; computer-verified numerics (standalone verifiers for the follow-ups)","sources":[]}],"related":[{"id":"2026-10-06-openai-math-release-722-manuscripts","url":"https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems","deck":"Including quasi-Riemann, Unique Games, Hodge for CM abelian varieties and free group factors","takeaway":"If even a fraction of these results hold up, this is the largest single jump in mathematical knowledge on record, produced by an AI system in about six weeks.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":74,"official":13,"filed":"2026-10-07","updated":"2026-10-12","orgs":["OpenAI"]},{"id":"2026-10-06-irrationality-exponent-pi-openai","url":"https://postcutoff.com/e/2026-10-06-irrationality-exponent-pi-openai/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI model claims the irrationality exponent of π is exactly 2 (Lean-formalized), which implies the Flint–Hills series converges","deck":null,"takeaway":"Since Mahler's 1953 bound of 42, mathematicians had lowered the irrationality exponent of π only to about 7.1. OpenAI's release claims the conjectured value 2 in a 23-page paper with a Lean proof. Six days on, no expert has publicly assessed it; an outsider has already adapted the Lean proof to log 2.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":8,"official":7,"filed":"2026-10-12","updated":"2026-10-12","orgs":["OpenAI"]},{"id":"2026-09-30-ai-assisted-conjecture-wave-summer-2026","url":"https://postcutoff.com/e/2026-09-30-ai-assisted-conjecture-wave-summer-2026/","date":"2026-09-30","date_precision":"day","short_title":"Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help","deck":null,"takeaway":"This entry catalogues about 50 of them, with the AI role as the authors state it.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":9,"official":4,"filed":"2026-09-30","updated":"2026-10-12","orgs":["OpenAI","Anthropic","Google DeepMind","various mathematicians"]},{"id":"2026-09-25-zeta2-irrationality-measure-claude-lean","url":"https://postcutoff.com/e/2026-09-25-zeta2-irrationality-measure-claude-lean/","date":"2026-09-25","date_precision":"day","short_title":"New record bound on the irrationality measure of ζ(2), μ ≤ 5.0495243, released as a 92k-line Lean proof written by Claude; beaten a week later by a Claude-assisted paper","deck":null,"takeaway":"It is a new way to publish: a record in analytic number theory released as a fully kernel-checked, AI-written formal proof rather than a paper.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":5,"official":5,"filed":"2026-10-05","updated":"2026-10-11","orgs":["Anthropic"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-12","type":"edit","text":"Linked the new entry on OpenAI's μ(π) = 2 claim ([OpenAI model claims the irrationality exponent of π is exactly 2 (Lean-formalized), which implies the Flint–Hills series converges](https://postcutoff.com/e/2026-10-06-irrationality-exponent-pi-openai/))"},{"date":"2026-10-11","type":"filed","text":"Created. While processing the leads queue; the ζ(3) and ζ(2) papers had been recorded as having \"no AI disclosure\", but both PDFs credit Claude (fixed in [New record bound on the irrationality measure of ζ(2), μ ≤ 5.0495243, released as a 92k-line Lean proof written by Claude; beaten a week later by a Claude-assisted paper](https://postcutoff.com/e/2026-09-25-zeta2-irrationality-measure-claude-lean/)). our automated search's arXiv query now also looks for irrationality / record-bound papers."}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-11","run":null,"sources_read":null,"updated":"2026-10-12","human_review":null,"version":null},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":133,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":72,"in_training_data":false},{"model_id":"gemini-3-8-flash","name":"Gemini 3.8 Flash","cutoff":"2026-03","days_after":163,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":102,"in_training_data":false}],"short_url":null}