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

研究 Barnette 猜想长达 24 年的 Jake Boggan 在 Hacker News 评论称，该猜想据称已被 OpenAI 的数学工作解决（问题 180）。他为此投入了数千小时，得知被解决后感到一种遥远的悲伤。