Tag
在这一期播客中，量子计算学者 Scott Aaronson（曾在 OpenAI 从事 AI 安全研究）认为 AI 已在数学和理论计算机科学领域开启了"奇点"——人类已不再是地球上主要的定理证明实体，领域正被迫重新定义研究、署名与出版的意义。
作者以 AlphaGo 之后围棋界的发展为镜，探讨数学家应如何适应 AI 生成的难以理解的证明：像围棋高手那样转向研究 AI 结果来提升人类集体认知，并接受 AI 让数学知识民主化的未来。
OpenAI released hundreds of AI-generated solutions to hard math problems, but they fall short of the Advisory Group on Mathematics and Artificial Intelligence's standards, with gaps in formalization, chain-of-thought disclosure, and human understanding, as highlighted by a Cambridge and King's College paper on discrepancies between natural language proofs and Lean code.
A Hacker News commenter, Jake Boggan, reflects emotionally on OpenAI's openai/math repository apparently proving Barnette's Conjecture — a problem he spent 24 years and thousands of hours on.