ИИ всё чаще закрывает теоремы — и arXiv это чувствует

В последние месяцы всё чаще сообщают: ИИ доказал или опроверг очередную математическую гипотезу или теорему. Самый частый пример — проблемы Эрдёша: они долго оставались нерешёнными, а теперь всё чаще закрываются усилиями нейросетей.

Как замечает канал «Технологии Яндекса», предполагаемое влияние ИИ стало заметно и по числу новых публикаций в arXiv.org — крупнейшем архиве научных препринтов. Там оно стремительно растёт.

Оговорка: в сообщении не приводится ни конкретных цифр, ни методики подсчёта, ни разбивки по дисциплинам. Так что рост публикаций на arXiv и волна «доказанных» теорем пока соседствуют, а не доказанно связаны. Для математики это существенная разница.