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.
더 보기
