Captain Sude
Captain Sude @captain_sude · x · 2026-09-16 · ★★★ · archived
Cited as a source by: 2026-09-16-liouville-goldbach-lean-proof
Summary
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.
likes 219 · replies 9 (at fetch time)
Archived 2026-09-29 via syndication.
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.
likes 219 · replies 9 (at fetch time)
Archived 2026-09-29 via syndication.
Related events
All posts · id: x-captain_sude-2100277626120163664