24 года над гипотезой Барнетта — и внезапный proof в openai/math
24 года над гипотезой Барнетта — и внезапный proof в openai/math Сравнить чужое доказательство с вестью о внезапной смерти человека из прошлого — жёстко, но так Jake Boggan отреагировал в комментарии на Hacker News. Речь о гипотезе Барнетта: он тянул её между разными работами годами, а прошлым летом несколько дней был уверен, что решил сам. В ветке openai/math всплывает задача 180 — якобы всё уже доказано, не им. «Не знаю, что и думать», пишет он: работа, которой жил между чужими проектами, внезапно получила чужой финал. Simon Willison вынес цитату в подборку — рядом с mathematics висит тег openai. Если у вас тоже есть боковая задача, которую открываете между релизами, эта реакция бьёт неожиданно близко.
11 просмотров