前两天，数学圈又爆出了大新闻：AI大模型Astra在哥德巴赫猜想证明方面取得突破，证明了刘维尔函数下弱化的哥德巴赫猜想。更重要的是，这回AI依靠的不是暴力破解，而是采用通过经典的“反证法”利用巧妙的数学思维得到答案，第一篇论文只有2页纸，简洁得高中生都能看懂，在此之前，这是独属于人类数学家的。显然，AI大模型的数学能力已经超越了绝大多数人类，甚至达到了顶尖数学家的水平。难道，属于人类的数学时代真的结束了吗？如果你想了解哥德巴赫猜想，以及Astra是如何取得突破的，点开视频，和我一起享受美妙的数学之旅。
