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.
显示更多
