24 года над гипотезой Барнетта — и внезапный proof в openai/math

Jake Boggan 24 года, с паузами, возвращался к гипотезе Барнетта — между работами в других областях. В комментарии на Hacker News в ветке openai/math он увидел, что задачу якобы уже закрыли: problem 180, но не его доказательством. Прошлым летом несколько дней он был уверен, что решил её сам; по его словам, на проблему ушли тысячи часов.

Когда-то он так увлёкся теорией графов, что переехал в Будапешт учиться «у больших». Гипотеза осталась фоновой одержимостью: то отступал на годы, то снова возвращался к ней.

Simon Willison собрал цитату в подборку 7 октября 2026 года. Богган признаётся, что не понимает, что чувствовать — сравнивает новость о чужом доказательстве с «далёкой грустью», как внезапная весть о человеке из давнего прошлого, и добавляет, что таких, вероятно, сегодня немало. У записи Willison рядом с mathematics стоят теги ai и openai: разговор идёт вокруг openai/math на HN, а не только в узком математическом углу.

Источник: Quoting Jake Boggan.