★ 4
Sam Altman 回应数学界:OpenAI 数学成果发布不会停
OpenAI CEO Sam Altman 在播客中表示同情数学家的处境,但强调公众有权获得基础科学知识,公司不会停止发布 AI 生成的数学成果。他承认沟通方式需改进,同时被批评对杨-米尔斯理论等重大结果存在信息封锁。
快公司3 天前
共 6 篇相关资讯,按重要度与时间排序,每 3 小时更新。
OpenAI CEO Sam Altman 在播客中表示同情数学家的处境,但强调公众有权获得基础科学知识,公司不会停止发布 AI 生成的数学成果。他承认沟通方式需改进,同时被批评对杨-米尔斯理论等重大结果存在信息封锁。
该研究在无中心协调器的开放世界多智能体环境Station中,让不同模型家族的AI智能体自主选择研究方向、开展实验并协作,在AlphaEvolve目录的12个构造问题及两个案例研究中,于5个问题上取得了超越现有文献的新结果,包括新的Kakeya集无限族、11维604点亲吻构型等。智能体不仅产出数值构…
EULER以跨域桥接为搜索单元,通过直接、相邻和远域路线竞争,验证桥接的有效性。在120个猜想中产生10个证明和3个反例,压力测试减少错误结论,展示多智能体在数学发现中的潜力。
该 arXiv 论文探讨 AI 在组合数学领域的发现能力,梳理从提出问题到求解、再反哺问题设计的路径。研究展示了 AI 在数学猜想与证明辅助方面的潜力。属于 AI for Science 方向的学术工作。
论文以广义Blaschke曲线为受控环境,研究AI辅助数学再发现:智能体在不知目标定理的情况下,从80组边界构型的数值坐标中拟合出齐次三次式,其系数可预测480条直线,残差低至8.88e-17。但事后确定性次数搜索基线也能恢复该三次式,因此实验未证明智能体相对多项式拟合有优势。作者将其定位为区分猜…
一位兼具计算机科学家与小说家身份的学者撰文,探讨AI如何影响我们对数学本质的理解。文章从人类认知与机器推理的差异出发,反思AI在数学发现中的角色。属于观点性讨论,受众较窄。