Математик Филлип Кергер утверждает, что новая модель GPT-5.6 Sol за один сеанс продолжительностью около двух с половиной часов построила доказательство для задачи, остававшейся открытой с 1996 года. Речь не о красивой головоломке и не о соревновании для школьников, а о нижней границе сложности одного из фундаментальных классов задач выпуклой оптимизации. История звучит почти вызывающе: десятистраничный запрос, одна попытка, отсутствие вмешательства человека — и разрыв между известными верхней и нижней границами, сохранявшийся три десятилетия, закрыт...