AI 研究者 randlongevity 感慨有生之年见到机器证明新数学，时代拐点已至

AI 研究者 randlongevity 发帖感慨，有生之年见到机器证明新的数学定理，也见到汽车沿墙壁行驶并飞离墙面。该帖把 AI for Math 的突破与极限运动级别的自动驾驶演示并列，直言事情真的要变得非常奇怪。同期资讯还提到 OpenAI proofdump 把 3SUM 纪录推向 O(n^1.921) 并经 Lean 验证通过。