Captain Sude(@captain_sude):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.

Captain Sude

@captain_sude

Can you be my 415th follower? Thanks.

参加 August 2026

1K フォロー中 420 ファン

Captain Sude@captain_sude

2026.09.16 17:36

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.

215

コミュニティへ転送

人気のあるユーザー

63K ファン

1.9M ファン

4.2M ファン

100.8K ファン

256.8K ファン

26.4M ファン

568.8K ファン

1.4M ファン

2.1M ファン

16.8M ファン

28.2K ファン

231.9K ファン

181.5K ファン

34.1K ファン

3.4M ファン