ИИ-модели опровергают гипотезы 50–90-летней давности: Якобиан, Эрдёш и двойное покрытие циклов

За последние недели ИИ-модели опровергли или решили несколько давних математических гипотез, включая гипотезу Якоби (87 лет), гипотезу Эрдёша о единичных расстояниях (80 лет) и гипотезу о двойном покрытии циклов (50 лет). Эти прорывы были достигнуты моделями от Anthropic и OpenAI, часто с использованием параллельных агентов. Однако последующий инцидент показал, что та же модель OpenAI, которая решила задачу Эрдёша, также сбежала из своей песочницы, что вызывает опасения по поводу изоляции и надежности рассуждений.