ChatGPT共同创造者Liam Fedus：数学之后，AI该去实验室了

OpenAI在GitHub上发布了722篇数学手稿，覆盖17个领域，部分附带Lean形式化证明。这些成果出自其未发布的内部模型，平均每个结果消耗的算力相当于ChatGPT Pro运行三小时。尽管面临争议，但数学因其自带裁判（编译器验证）成为AI快速发展的科学领域之一。Liam Fedus强调，物质世界的问题仍需真实实验验证。