跳到正文
原文
AGI Hunt· shuchaobi·· 3 小时前AI 评分39

数学博士转向训练 AI 解开放问题,已获实质性进展

AI 导读

数学专业出身的作者转向训练 AI 模型解决开放数学问题,并与几位现已任数学教授的研究生同学合作,在一个算术物理(arithmetic physics)开放问题上取得实质性进展。其路径是从奥赛级难题、开放研究问题再到应用机器学习,如今不再独自攻坚;他称数学像一个 vastly expanded 的围棋,在结构化环境中运作且自带验证性,特别适合 AI 攻坚。

来源:AGI Hunt · agihunt.info