Математики оценили заявленное ИИ доказательство ослабленной гипотезы Римана: версия на 199 страниц проверена в Lean, короткая — пока нет
Материал подготовлен Sintelligent с помощью ИИ. Опубликовано в SI: . Обновлено: .
Первое такое доказательство сверено машиной, и математики говорят, что ИИ вышел на уровень значимых теорем, пусть и в ослабленной форме.
По Quanta, OpenAI опубликовала результат 6 октября среди 377 математических работ: «квази-гипотеза Римана» — ослабленная форма утверждения о распределении простых чисел. Первая версия (30 сентября, нули в полосе от 1/8 до 7/8, 199 страниц) формально проверена в системе Lean; вторая (5 октября, от 1/12 до 11/12, 49 страниц) формально пока не проверена, но, по оценке экспертов, выглядит верной. Джаред Дьюкер Лихтман назвал это «самым значительным достижением ИИ в математике с большим отрывом», Максим Радзивилл — последствия «ошеломляющими», но отметил, что по оформлению статьи были бы «немедленно отклонены любым математическим журналом». Доказательство соединило известные методы, а не ввело новые понятия.
Источники 1