Математики подтвердили доказательство гипотезы Бреннана, полученное с AI
Илья Биндер, Олег Иврий, Иштван Праузе и Станислав Смирнов проверили доказательство гипотезы Бреннана.
Гипотеза оставалась нерешенной с 1978 года.
Авторы нашли исходный аргумент избыточным и получили гораздо более короткое доказательство более сильного утверждения.
Почему важно
Проверка независимыми математиками переводит математические результаты AI из демонстраций в материал, который люди могут сокращать и развивать.