✧ 𝕀𝔸𝕄𝔸𝕀 ✧
@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.
더 보기
