Captain Sude
@captain_sude
Can you be my 415th follower? Thanks.
加入 August 2026
1K 正在關注 420 粉絲
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.
顯示更多
