视频目录 / 数学导览与专题

热度排名 #2001

塞巴斯蒂安·比贝克谈大语言模型做数学的进展

Recent Advances in LLMs for Mathematics

听报告如何区分会做基准题与提出可核验的新证明。看示例时，把题目来源、验证办法和错误出现的位置各自记清。

Sebastien Bubeck · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2026-02-04 · 帖子分数 1