待验证50% 置信事件精确时间

今年4月旧金山的一场闭门学术会议上，被问及若未来数学研究只需输入提示词等待AI输出证明是否愿意继续做数学家时，仅有一半学者举手

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/7/19

首次发现

有效期至：2026/10/17

来源

AI攻克世界级数学猜想，数学家将转型为"策展人"？

相关事实

待验证目前公开可验证的AI数学成果绝大多数停留在解决有已知答案的竞赛题目层次，而非创造全新数学知识的开放性问题层次65% 相似待验证陶哲轩认为AI将在十年内接管数学家日常工作的很大一部分，但这些被替代的部分并不是数学最核心的价值所在64% 相似待验证陶哲轩认为被AI替代的数学工作部分并非数学最核心的价值所在63% 相似待验证关于AI工具使用是否会导致认知能力退化，学界目前尚无定论，相关纵向研究仍处于数据积累阶段62% 相似待验证数学家陶哲轩在2023年使用AI辅助研究时指出，模型经常在证明的关键转折处犯错，而这些错误需要深厚的数学直觉才能识别61% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/563075

API

curl https://kongchang.com/api/v1/knowledge/claims/563075

MCP

get_claim(id=563075)