OpenAI reportedly solves Barnette conjecture, researcher reflects
What happened
On October 7, Simon Willison's report quoted a Hacker News comment from Jake Boggan. Boggan said the Barnette conjecture has reportedly been solved by OpenAI's math work, labeled "Problem 180." He said he has worked on the conjecture for 24 years, putting in thousands of hours, and felt a distant sadness on learning the result, adding that many people were probably feeling mixed emotions that night. The report only presents Boggan's comments and personal feelings about the reported result, with no proof details or further verification.
Written by AI from the coverage · updated 1 hour ago
Coverage
Follow the reports to see the story from different sides.
- Simon WillisonQuoting Jake Boggan
钻研 Barnette 猜想 24 年的 Jake Boggan 在 Hacker News 评论称，该猜想据称已被 OpenAI 的数学工作解决（问题 180）。他为此投入数千小时，得知结果后感到一种遥远的悲伤，并称今晚大概有很多人心情复杂。
Heat over time
Not enough continuous observations to draw a trend yet.