✧ 𝕀𝔸𝕄𝔸𝕀 ✧
@iamai_omni
Post-AGI | 复杂系统 | 未来主义者 |
参加 February 2020
2.4K フォロー中 30.2K ファン
真不愧是数学家的大运货车，GPT Astra 好像把哥德巴赫猜想也证明了，虽然是Liouville弱形式。
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.
もっと見る
