{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2026-08-26-erdos-rankin-large-prime-gaps-improved/","md":"https://postcutoff.com/e/2026-08-26-erdos-rankin-large-prime-gaps-improved/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-08-26-erdos-rankin-large-prime-gaps-improved","date":"2026-08-26","date_precision":"day","short_title":"GPT-5.6 improves the Erdős–Rankin / Ford–Green–Konyagin–Maynard–Tao bound for large prime gaps","deck":null,"takeaway":"On 26 Aug 2026 the user \"DottedCalculator\" posted to erdosproblems.com (problem #4) a proof, generated with GPT-5.6, that there are infinitely many prime gaps larger than C·log n·log log n / log log log log n.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"arXiv 2609.15597: Long runs of integers with small prime factors and the divisor function of n! (Freiberg; Claude Fable 5.1)","url":"https://arxiv.org/abs/2609.15597","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"arXiv 2609.28253: A tyro's approach to the tilted sieve (Freiberg)","url":"https://arxiv.org/abs/2609.28253","type":"paper","group":"primary","domain":"arxiv.org"},{"n":3,"title":"Traictory: GPT-5.6 claims a prime-gap record. Who checks the proof?","url":"https://traictory.com/news/2026-09-01-gpt-5-6-prime-gap-math-proofs","type":"press","group":"press","domain":"traictory.com"},{"n":4,"title":"Erdős problem #4","url":"https://www.erdosproblems.com/4","type":"discussion","group":"reactions","domain":"erdosproblems.com"},{"n":5,"title":"erdosproblems.com forum: problem #4 proof claims","url":"https://www.erdosproblems.com/forum/thread/4/proof-claims","type":"discussion","group":"reactions","domain":"erdosproblems.com"},{"n":6,"title":"Wikipedia: List of mathematical discoveries by artificial intelligence","url":"https://en.wikipedia.org/wiki/List_of_mathematical_discoveries_by_artificial_intelligence","type":"discussion","group":"reactions","domain":"en.wikipedia.org"}],"official":2,"filed":"2026-09-29","updated":"2026-10-15","orgs":["OpenAI"],"title":"GPT-5.6 improves the Erdős–Rankin / Ford–Green–Konyagin–Maynard–Tao bound for large prime gaps","summary":"On 26 Aug 2026 the user \"DottedCalculator\" posted to erdosproblems.com (problem #4) a proof, generated with GPT-5.6, that there are infinitely many prime gaps larger than C·log n·log log n / log log log log n. This removes a log log log n factor from the 2018 Ford–Green–Konyagin–Maynard–Tao bound. Thomas Bloom wrote an exposition calling the ideas elementary. A fuller proof by GPT-6 Astra with a Lean formalization followed on 4 Sep 2026.","key_facts":["New bound: p_{n+1} − p_n > C·log n·log log n / log log log log n for infinitely many n","Previous record: FGKMT 2018 (Ford, Green, Konyagin, Maynard, Tao), which had an extra log log log n factor in the denominator","Method: a new weighting function to filter residue subsets, combined with the FGKMT18 machinery; Bloom notes neither ingredient alone improves the record","Model naming differs: erdosproblems.com says 'GPT 5.6 Pro (prompted by DottedCalculator)', while Wikipedia's AI-discoveries list says GPT-5.6 Sol","Follow-up: GPT-6 Astra full proof submitted 4 Sep 2026 with a Lean formalization (openai/LongGapsBetweenPrimes)","Traictory (1 Sep 2026): no independent human verification yet at that point","Follow-ups by Tristan Freiberg: an improvement to long runs of smooth integers and the divisor function of n!, whose 'core new argument … was generated during a private interaction with Claude Fable 5.1' on 8 Sep 2026 (arXiv 2609.15597); and an elementary exposition of the 'tilted sieve introduced by GPT-5.6 Sol' (arXiv 2609.28253, which notes the Lean formalisation by B. Alexeev)","Downstream (Sep–Oct 2026): Artyom Radomskii (HSE) used the preprint's weight / truncated divisor-sum construction to improve the Kalmynin–Konyagin bound for gaps between Romanoff numbers (arXiv 2609.38408) and then to answer the $50 O(log N) part of Erdős Problem #32 on additive complements to the primes (arXiv 2610.14127); no AI-use statement in either paper"],"key_numbers":[],"tags":["math","number-theory","prime-gaps","erdos-problems","gpt-5-6"],"science":{"field":"mathematics","subfield":"analytic number theory","problem":"Large gaps between consecutive primes (Erdős–Rankin; Erdős problem #4)","result":"Improved lower bound for infinitely many large prime gaps, saving a log log log n factor over FGKMT 2018.","open_since":"","ai_system":["GPT-5.6 Pro/Sol","GPT-6 Astra"],"human_role":"AI-assisted: pseudonymous user DottedCalculator prompted the model; Thomas Bloom wrote the exposition","verification":{"key":"lean-unreviewed","label":"Lean proof, not yet reviewed","text":"Lean formalization of GPT-6 Astra's version reported; human expert review ongoing"},"status":"pending","shock":""},"body_md":"## What happened\n\nA pseudonymous user got a GPT-5.6 model to combine new sieve weights with the Ford–Green–Konyagin–Maynard–Tao construction. The result improved the long-standing record for how large prime gaps can be. Thomas Bloom wrote it up on erdosproblems.com (last edited 31 Aug 2026). OpenAI's GPT-6 Astra then produced a complete proof with a Lean formalization.\n\n## Why it matters\n\nLarge prime gaps were famously advanced by Maynard and by Ford–Green–Konyagin–Tao in 2014–2018, and experts treated the FGKMT bound as hard to beat. This came four days before GPT-6 Astra's bounded-gaps record (246 → 186), so both ends of the prime-gap problem moved within a week.","disputed":[{"label":"Verification","text":"Lean formalization of GPT-6 Astra's version reported; human expert review ongoing","sources":[]}],"related":[{"id":"2026-10-09-erdos-32-additive-complements-primes-radomskii","url":"https://postcutoff.com/e/2026-10-09-erdos-32-additive-complements-primes-radomskii/","date":"2026-10-09","date_precision":"day","short_title":"Erdős #32: no O(log N) complement to the primes (Radomskii)","deck":null,"takeaway":"This is a second-generation effect: a technique that first appeared in an AI-generated proof is picked up by a human specialist and settles part of a different Erdős problem within weeks.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":3,"filed":"2026-10-15","updated":"2026-10-19","orgs":["HSE University","OpenAI"]},{"id":"2026-09-10-astra-leanopenproblems-september-results","url":"https://postcutoff.com/e/2026-09-10-astra-leanopenproblems-september-results/","date":"2026-09-10","date_precision":"day","short_title":"GPT-6 Astra's Epoch AI run adds more Lean-checked results","deck":"Dittert conjecture proved, Ibragimov–Iosifescu and eternal-domination conjectures disproved","takeaway":"Autonomous formal proof search now turns out a steady stream of mid-level resolved conjectures, not one-off headlines.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":6,"official":4,"filed":"2026-09-29","updated":"2026-10-19","orgs":["OpenAI","Epoch AI"]},{"id":"2026-08-30-bounded-prime-gaps-186","url":"https://postcutoff.com/e/2026-08-30-bounded-prime-gaps-186/","date":"2026-08-30","date_precision":"day","short_title":"GPT-6 Astra lowers the bounded prime gaps record from 246 to 186","deck":null,"takeaway":"Bounded prime gaps were one of the celebrated stories of 2013–14.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI"]}],"people":[{"id":"thomas-bloom","name":"Thomas Bloom","url":"https://postcutoff.com/person/thomas-bloom/"}],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-15","type":"edit","text":"Added Radomskii's downstream papers (Romanoff gaps, Erdős #32) that reuse the construction"},{"date":"2026-09-30","type":"edit","text":"Added Freiberg follow-ups (arXiv 2609.15597, 2609.28253)"},{"date":"2026-09-29","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-09-29","run":null,"sources_read":null,"updated":"2026-10-15","human_review":null,"version":{"date":"2026-10-15"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":118,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":57,"in_training_data":false},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":148,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":87,"in_training_data":false}],"short_url":"https://postcutoff.com/s/gpt-5-6-improves-erdos-rankin"}