'The Liouville version of the Goldbach conjecture is now fully proven and Lean verified!'
Captain Sude @captain_sude · x · 2026-09-16 · ★★ · archived
Primary announcement of the Lean-verified Liouville–Goldbach theorem, which media later misreported as GPT-6 Astra's 'Goldbach breakthrough'.
Summary
A pseudonymous account announces a Lean-verified proof that every even number greater than 2 is a sum of two positive integers with Liouville value −1, and links the GitHub release v1.0.0. The post does not mention GPT-6 Astra or any AI model. The Astra attribution appears only in later secondary coverage. Fetched via api.fxtwitter.com on 30 Sep 2026: about 46.9k views and 219 likes.
Archived text
The Liouville version of the Goldbach conjecture is now fully proven and Lean verified!
Every positive even number greater than 2 is the sum of two positive numbers with Liouville value -1.
https://github.com/CaptainSude/Liouville-Goldbach/releases/tag/v1.0.0
views 46901 · likes 219 (at fetch time)
Related events
All posts · id: 2026-09-16-captain-sude-liouville-goldbach