该标签下共有 2 篇文章
作者: aeks | 发布时间: 2026-05-19 21:01
学科: 人工智能 数学 计算机科学与技术
17岁英国少年利亚姆·普赖斯借助ChatGPT，首次用全新思路解开了数学家埃尔德什1966年提出的难题#1196，引发学界关注：AI正从算力工具升级为能提出原创数学洞见的‘合作者’。
标签: 人工智能数学 埃尔德什问题 大语言模型 数学证明 本原数集
作者: aeks | 发布时间: 2025-11-15 20:01
学科: 数学 计算机科学与技术
去年，谷歌DeepMind的人工智能系统在国际数学奥林匹克（IMO）中达到银牌水平，系AI首次在该赛事解题中获奖牌级成绩。如今《自然》期刊论文揭示其核心技术——用于证明数学命题的工具AlphaProof。
标签: 人工智能 国际数学奥林匹克 数学证明
