OpenAI 研究员悬赏：全力形式化全部数学，或自动化数学研究

willdepue · x · 2026-10-31

OpenAI 的 willdepue 在引用 jdlichtman 关于「如果集中全部算力，或可在 2-3 个月内形式化所有已知数学，1 年是更从容的时间线」的讨论时公开表态：正在做相关酷工作且需要资金的人可以直接私信他，他会在 3 天内打款 credits 或 GPU 算力。

他还特别补充：同样的资助条件也适用于「如何自动化探索性数学研究」方向的工作。这是 OpenAI 内部人士对 AI 驱动数学形式化与自动数学研究这一前沿方向的实质性资源承诺。