OpenAI 数学库宣称解决 Barnette 猜想，引发社区情感震荡

我很久以前就是个图论迷，甚至曾搬到布达佩斯一段时间，向那些大师们学习。在那里，我开始研究巴内特猜想（Barnette's Conjecture），这个猜想在此后 24 年的生活中断断续续地占据着我的思绪，尽管期间我从事过许多不同的领域。去年夏天，我甚至有几天的时间以为自己真的解决了它。 但据说这里已经证明了——问题 180。我不确定该作何感想。我在那个问题上花了数千个小时。我真的很享受这个过程。听到它被解决的消息，让我感到一种遥远的悲伤，就像听说前女友突然死于车祸一样。我不知道，今晚大概有很多人都怀着这种复杂的情绪吧。

— Jake Boggan，在 Hacker News 上关于 openai/math 的评论

标签：openai, mathematics, deep-blue, llms, ai, generative-ai