Лондонское математическое общество опубликовало Лейденскую декларацию об искусственном интеллекте и математике. Документ подписали более 40 математических организаций мира. Декларация предостерегает от чрезмерной опоры на ИИ в математических исследованиях. Авторы подчёркивают: ИИ лишён истинного понимания и творчества. Они призывают продолжать инвестировать в человеческую математику и предупреждают о рисках при использовании ИИ в рецензировании или принятии решений о финансировании. В документе также указаны угрозы предвзятости, кризиса воспроизводимости и экологического ущерба от крупных моделей.

Лейденская декларация — отрезвляющий сигнал. Математики говорят вслух то, о чём в IT-среде предпочитают молчать: ИИ — инструмент, а не замена. Он умеет находить паттерны, но не доказывать. Он генерирует, но не понимает. Это не борьба с технологиями. Это борьба за истину.

Декларация задаёт формат здорового сотрудничества. Пусть ИИ делает черновую работу. Пусть человек отвечает за смысл. Это и есть будущее, которое стоит строить. Не то, где мы перекладываем мышление на машины, а то, где мы мыслим лучше вместе с ними.