数学家 Tristan Buckmaster：数学是年轻人的学科，但含义正在改变

数学家 Tristan Buckmaster 认为，OpenAI 的 Navier–Stokes 证明据称动用 10,000 个智能体、耗时 88 小时，成本达数百万美元，堪比 1997 年 Deep Blue 击败 Kasparov 的时刻。他指出机器证明只能确认结论为真，却回答不了"为什么为真"，数学的持久价值仍在人类理解。他还看好 LLM 在数学与物理交叉领域补齐严格推导的潜力。