ChatGPT证明数学猜想

Scientific American相关报道称，ChatGPT帮助证明了一个已有50年历史的数学猜想。若属实，这将继续强化大模型在数学研究与形式推理辅助中的应用价值。

事件进展（1 篇报道）

1. 2026-07-14 23:31
   Reddit r/artificial ChatGPT just proved another 50-year-old math conjecture

← 返回首页