{"slug": "gpt-6-astra-has-made-a-major-breakthrough-in-the-goldbach-conjecture", "title": "GPT-6 Astra has made a major breakthrough in the Goldbach Conjecture", "summary": "An AI system called Astra produced an 8-page proof of the Liouville version of the Goldbach conjecture, which states that every positive even number greater than 2 is the sum of two positive numbers with Liouville value -1, according to a post by Captain Sude on X. The result was Lean verified, and Astra first proved the unconditional conjecture for multiples of 4 before extending it to the entire conjecture via elementary methods, building on Alexander P. Mangerel's 2024 paper that proved the conjecture for all sufficiently large even integers under the Generalised Riemann Hypothesis for Dirichlet L-functions. A computer search found no counterexamples to the broader claim that every integer of at least 4, even or odd, is the sum of two integers with Liouville value -1 within 10^6.", "body_md": "Captain Sude on X: \"The Liouville version of the Goldbach conjecture is now fully proven and Lean verified!\nEvery positive even number greater than 2 is the sum of two positive numbers with Liouville value -1.\nhttps://t.co/hzeoRu6QBy\"\n\nThe Liouville version of the Goldbach conjecture is now fully proven and Lean verified!\nEvery positive even number greater than 2 is the sum of two positive numbers with Liouville value -1.\n\nThe Liouville version of the Goldbach conjecture is now fully proven and Lean verified!\nEvery positive even number greater than 2 is the sum of two positive numbers with Liouville value -1.\n\nGoldbach's conjecture states that every even natural number greater than 2 is the sum of two prime numbers.\nGoldbach's conjecture for the Liouville function is a natural weakening of the famous conjecture, it just asks the summands to be products of an odd number of primes.\n\nIn 2018, a mathoverflow user asked this question:\nmathoverflow.net/questions/3074…\nIn a paper from 2024 Alexander P. Mangerel proved this conjecture for all sufficiently large even integers under the Generalised Riemann Hypothesis for Dirichlet L-functions.\narxiv.org/abs/2404.12117\n\nesterday, Astra proved the unconditional conjecture for multiples of 4, building on the previous work by Mangerel.\nToday, Astra proved the entire conjecture via elementary methods.\nThe proof is 8 pages long.\n\nIt seems every integer >=4, even or odd, is the sum of two integers with Liouville value -1. A simple computer search found no counterexamples within 10^6. Maybe you can solve this one?", "url": "https://wpnews.pro/news/gpt-6-astra-has-made-a-major-breakthrough-in-the-goldbach-conjecture", "canonical_source": "https://twitter.com/captain_sude/status/2100277626120163664", "published_at": "2026-09-23 10:36:59+00:00", "updated_at": "2026-09-23 10:59:28.958353+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "machine-learning"], "entities": ["Astra", "Captain Sude", "Alexander P. Mangerel", "Lean", "X", "MathOverflow", "Generalised Riemann Hypothesis", "Goldbach conjecture"], "alternates": {"html": "https://wpnews.pro/news/gpt-6-astra-has-made-a-major-breakthrough-in-the-goldbach-conjecture", "markdown": "https://wpnews.pro/news/gpt-6-astra-has-made-a-major-breakthrough-in-the-goldbach-conjecture.md", "text": "https://wpnews.pro/news/gpt-6-astra-has-made-a-major-breakthrough-in-the-goldbach-conjecture.txt", "jsonld": "https://wpnews.pro/news/gpt-6-astra-has-made-a-major-breakthrough-in-the-goldbach-conjecture.jsonld"}}