Jake Boggan 谈 OpenAI 数学成果解决 Barnette 猜想

Quoting Jake Boggan

钻研 Barnette 猜想 24 年的 Jake Boggan 在 Hacker News 评论称，该猜想据称已被 OpenAI 的数学工作解决（问题 180）。他为此投入数千小时，得知结果后感到一种遥远的悲伤，并称今晚大概有很多人心情复杂。