标签：数学
破解300年数学难题，智能体大突破！谷歌发布超强AI Agent
谷歌Deepmind最新发布的编程AI Agent——AlphaEvolve，标志着人工智能在算法设计与优化领域的重大突破。AlphaEvolve与谷歌的大模型Gemini深度集成，旨在自动评...
突破300年数学难题！陶哲轩出题，DeepMind通用科学AI智能体一夜屠龙
谷歌DeepMind推出的AlphaEvolve，作为一款由Gemini驱动的进化编码工具，展现了其在解决复杂数学问题和优化算法方面的强大能力。AlphaEvolve通过结合Gemini的...
56 年无人解开的数学难题，被谷歌的新 AI 突破了
Google DeepMind 最新发布的编程智能体 AlphaEvolve 标志着人工智能在算法发现和优化领域的重大突破。与传统的编程工具不同，AlphaEvolve 专注于通用算法的自...
蚂蚁武威：下一代「推理」模型范式大猜想
长思维链作为深度思考的一种实现方式，近年来成为研究下一代基础模型推理能力的热门方向。尽管R1模型展示了强大的性能，但其高维度和高能量的特性导致系统不...
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
陶哲轩最近以视频博主的身份亮相，首次发布的内容便引起了广泛关注。他展示了一个令人惊叹的案例：人类需要写满一页纸的数学证明，借助AI仅用33分钟就完成了...
Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频
菲尔兹奖得主陶哲轩近期发布了一个开源项目，旨在通过大模型的协助开发一个概念验证软件工具，用于验证涉及任意正参数的给定估计是否成立。该项目最初的目标...
三位北大校友突破65年数学难题！证明126维空间“末日假说”，为母校126周年献贺
复旦大学林伟南、王国祯与UCLA的徐宙利合作，成功解决了126维空间的Kervaire不变量问题，这一成果标志着高维拓扑学中的一个核心难题取得了重大突破。Kervaire...
陶哲轩：感谢ChatGPT，4小时独立完成了一个开源项目
菲尔兹奖得主陶哲轩在五一假期期间发布了一个开源项目，该项目旨在通过大模型的协助，开发一个用于验证涉及任意正参数的估计是否成立的概念验证软件工具。这...
数学家们仍在追赶天才拉马努金
拉马努金，一位被数学界公认为神人的天才，尽管没有接受过正统的数学教育，却凭借惊人的数学直觉征服了数学大师G.H.哈代，并获得了剑桥大学三一学院的破例接...
刚刚，AI破解50年未解数学难题！南大校友用OpenAI模型完成首个非平凡数学证明
AI辅助人类完成了首个非平凡研究数学证明，破解了50年未解的数学难题。这项研究由美国纽约布鲁克海文国家实验室的华人学者Weiguo Yin主导，通过引入最大对称...
