Captain Sude
@captain_sude
Can you be my 415th follower? Thanks.
1K Following 420 Followers
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.
Show more
