Jake Boggan on OpenAI's mathematical result solving the Barnette conjecture
Jake Boggan, who studied the Barnette conjecture for 24 years, commented on Hacker News that the conjecture is reportedly solved by OpenAI's math work (Problem 180). He invested thousands of hours into it and felt a distant sadness upon learning it was solved.
Return to original text
A short introduction is retained here; the full text from the source website is not reposted. For specific wording and subsequent updates, please refer to the original article.
Open AIHOT original