✧ 𝕀𝔸𝕄𝔸𝕀 ✧
@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.
显示更多
