GPT-5.6 Sol доказал теорему, которую 50 лет не могли решить люди

GPT-5.6 Sol Ultra от OpenAI за менее часа построил полное доказательство Гипотезы двойного покрытия циклами — задачи по теории графов, открытой ещё в 1970-х. Работало 64 субагента параллельно, и модели намеренно не давали знать, что задача считается нерешённой.

Математик Томас Блум назвал доказательство «коротким и элементарным — таким, которое могло появиться ещё в 1980-х». Критика: доказательство не цитирует основополагающую работу Бермона, Джексона и Жежера 1983 года, хотя явно опирается на их идеи. Это частая проблема ИИ-доказательств.

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