标签：陶哲轩

陶哲轩提前体验满血版o1：表现堪比研究生 早在今年8月，著名数学家陶哲轩就已经率先体验了OpenAI的满血版o1模型。这款模型的表现令人印象深刻，尤其是在处理复杂的数学问题方面。陶哲轩向o1提出了一个措辞模糊的数学问题，结果发现它竟然能成功识别出克莱姆定理，并给出了令人满意的答案。然而，陶哲轩也指出，尽管新模型比之前的版本有所改进，但仍会犯一些明显的错误，并没有展现出独立思考的能力。 陶哲轩的实测体验 陶哲轩进行了三轮测试，对比了o1与之前的模型。首先，他用了一个复杂的数学问题来测试o1，发现其表现...

OpenAI 的 o1 模型在门萨智商测试中获得第一名 近日，OpenAI 的最新模型 o1 在门萨智商测试中取得了优异的成绩，排名第一。著名数学家陶哲轩对其进行了实测，发现 o1 能够成功识别克莱姆定理。此外，OpenAI 的研究副总裁 Mark Chen 表示，大型神经网络可能已经具备足够的算力，在测试中表现出一定的意识。 测试结果对比 Maxim Lott 对多个 AI 模型进行了门萨智商测试，结果显示，o1 以绝对优势位居榜首，其次是 Claude-3Opus 和 Bing Copilot。这套测试题并未出现在任何 AI 训练数据中，因此测试结果具有很高的参考价值...

数学界的光辉时刻降临，72岁的法国数学家米歇尔·塔拉格兰荣获阿贝尔奖，被誉为“数学界的诺贝尔奖”。塔拉格兰因其在概率论和泛函分析上的杰出贡献，特别是对数学物理和统计学的应用而获此殊荣。他的研究为理解和解决随机过程问题奠定了坚实基础。塔拉格兰的成就还包括对随机过程上确界的探索、测量集中的理论以及自旋玻璃态的数学证明，这些工作为理解和控制随机性提供了重要工具。数学家陶哲轩对其成就表示赞赏，并认为他应享有更高的知名度。 塔拉格兰的人生充满传奇色彩，早年患有视网膜疾病，险些双目失明，但他的父亲通...

数学巨匠陶哲轩指出，AI正助力业余数学爱好者投身研究。他在Quantamagazine的访谈中提到，AI不仅解答问题，还能帮助解释复杂的证明步骤。尽管AI尚未能生成高级证明，但它已改变数学文化的接受度，比如计算机辅助证明逐渐被接纳。陶哲轩本人利用维基百科学习数学，并相信AI对数学的积极影响大于其他领域，但强调需谨慎评估AI提供的信息。未来，AI聊天机器人将在证明过程中提供互动帮助，改变教育方式。陶哲轩亲身体验ChatGPT，发现其在数学研究中的潜力，如公式查找、定理证明及论文编辑。他期望AI能进一步简化证明，甚至生成...