o3曝智商高达157，比肩爱因斯坦碾压99%人类！陶哲轩水平AI或出现
新智元报道编辑：编辑部 HYZ【新智元导读】OpenAI o3的智商，竟然已经高达157，碾压99%的人类？这张OpenAI模型智商图全网疯转。甚至有人大胆预测：达到陶哲轩智商（225-230）的大模型，应该会很快出现了。o3智商竟有157，堪比爱因斯坦？今天，一张OpenAI模型智商图，在 ......
Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
机器之心报道编辑：Panda、佳琪对 AI 研究者来说，数学既是一类难题，也是一个标杆，能够成为衡量 AI 技术的发展重要尺度。近段时间，随着 AI 推理能力的提升，使用 AI 来证明数学问题已经成为一个重要的研究探索方向。著名数学家陶哲轩就是这一方向的推动者，他曾表示 ......
