Barnette 猜想

OpenAI 模型解开 50 多年数学悬案 — 但更值得读的是解题者的反应

OpenAI 的数学模型据称解开了悬置 50 多年的 Barnette 猜想，但为此投入 24 年的一位数学家说，他的心情不是高兴，而是失落。这件事真正的新闻，是 AI 开始动到『意义』这一层。