«В последние месяцы успехи искусственного интеллекта в решении крупных математических проблем всё чаще становятся новостями далеко за пределами профессионального математического сообщества. Но решение задач — это лишь средство и косвенный показатель продвижения к более глубокой цели: концептуальному пониманию и появлению новых идей. Если в мире ИИ об этой цели забыть, средство способно начать разрушать то, чему оно должно было служить. Массовое производство всё новых утверждений и ответов — «истинно» или «ложно», «доказано» или «опровергнуто» — с постоянно возрастающей скоростью может не обогатить математическую почву, а, напротив, истощить её прежде, чем на ней успеют возникнуть новые идеи.» /11 сентября 2026. Декларация 25 филдсовских лауреатов[1]/Одна из таких задач — Гипотеза простых чисел-близнецов[2]. Подробности гонки за ее доказательством описывает Science News[3]. Заявлено, что искусственный интеллект обошел людей и улучшил до 186 рекорд для bounded gap between primes (предыдущее достижение было 246 — проект Polymath, 2014 год). Но это не настоящий финиш. И уж тем более, ничего не добавилось к пониманию проблемы. Общепризнано, что необходимы принципиально новые идеи.Из ответа Google: «Итог: Консенсус в академической среде однозначен — чтобы превратить уменьшающийся интервал (будь то 246 или 186) в честную двойку, математическому сообществу нужен качественный ментальный сдвиг и абсолютно новые структуры, а не просто мощные суперкомпьютеры и оптимизация старых формул.»Между тем, вожделенный новый подход уже найден (без участия ИИ)… Читать далее