Barnette 예상, openai/math 문제 180으로 증명된 것으로 알려져

Barnette 예상이 openai/math 저장소의 문제 180으로 증명된 것으로 알려졌다. Jake Boggan 씨는 Hacker News 댓글에서 이 점을 언급하며, 이 예상에 약 24년에 걸쳐 간헐적으로 매달려 수천 시간을 쏟았다고 밝혔다. 문제가 해결됐다는 소식을 듣고는 복잡한 심정이 들었다고 말했다.