OpenAI

AI 用证明淹没了数学。现在它出钱请人核查。

Simons Foundation、Anthropic 与 OpenAI 承诺合计提供 1,500 万美元的资金与资源，帮助数学家审阅 AI 生成的结果。此前 OpenAI 发布的 372 项结果既获赞誉，也遭批评。

主题是报道上已有的标签。至少两篇报道使用时，才会列在这里。