Jake Boggan 回应 Barnette 猜想被 OpenAI 证明

Jake Boggan 表示 Barnette 猜想已被 OpenAI 证明，他对此感到复杂且悲伤。该问题曾占据其 24 年思考时间，他曾在布达佩斯研究图论并投入数千小时。这是 OpenAI 在数学领域解决著名未解问题（Problem 180）的又一进展。