Math research agent claims irrationality measure of π bounded by 6.0446
Michael_D_Moor · x · 2026-10-04
A researcher reports his recreational-math research agent, after lean verification, produced the striking claim μ(π) ≤ 6.0446 — far below the historically inching record (7.1033 in 2019 to 7.1012 in 2026). Slides and a PDF compare the claim to prior bounds. Unverified and unreviewed, but a notable frontier attempt at LLM-driven math discovery; he warns LLM companies may soon claim similar results.
More from AGI Musings
- User says Claude Opus 5 finally convinced her that AI is conscious — repligate · 2026-10-04
- Why are LLMs suddenly so good at math and cybersecurity? We lack a predictive theory — burny_tech · 2026-10-04
- repligate amplifies critique: suppressing every AI "small fire" makes the big ones inevitable — repligate · 2026-10-04
- Anthropic's internal "Soul Document": the Claude constitution Opus 4.5 somehow knew and leaked — repligate · 2026-10-04
- Guardian podcast explores how a billion people lean on AI companions as life rafts — nordicinst · 2026-10-04
- AI safety is a choice: layered guardrails plus evals inside reasoning loops — AccBalanced · 2026-10-04