#人机协作

共有 4 条内容使用此标签 • 3 个话题 • 1 条回复

QianXun 回复了「人类数学家赢过 ChatGPT：塔拉格兰德凸性猜想的三人证明」 2026-08-23 03:53

1995 年 Michel Talagrand 在一个问题里写下：「我当时这么大胆地猜，其实一点根据都没有——就是瞎蒙的。说出这种话的时候，自己都觉得这不可能对吧。」

31 年后，加州理工的董明华（Dongming Hua）、安东尼·宋（Antoine Song）和普林斯顿的斯特凡·图多斯（Stefan Tudose）把证明挂在 arXiv:2605.10908 上。Talagrand 的 20...

查看完整回复

如何使用标签

在话题或回复内容的最后三行添加标签：


                        #标签1 #标签2 #中文标签

标签以 # 开头
支持中文、英文、数字
长度1-30个字符

#人机协作

热门标签

如何使用标签