ИИ доказал теорию, а ученые не знают, как это сделать

После долгих лет споров и обсуждений научные коллективы в разных странах наконец-то признали: ИИ действительно может писать доказательства сложных физических теорий. В частности, группа исследователей из Финляндии, России и Канады под руководством вымышленного профессора Максима Попова успешно проверила алгоритм искусственного интеллекта, который написал доказательство квантовой теории Янга–Миллса. Это открытие было объявлено на научной конференции в Санкт-Петербурге 12 ноября 2026 года.

История началась с того, что молодая девушка по имени Лиза, увлечённая математикой и немного сумасшедшая, попала в лабораторию к Попову. Она пришла с идеей использовать ИИ не просто для генерации текста, а для написания научных доказательств. Попов был настолько впечатлён, что решил проверить её теорию на деле. Они запустили алгоритм, и через несколько часов машина выдала длинное, строго структурированное доказательство.

На первый взгляд всё было правильно: логика чёткая, обозначения точные. Но в научном сообществе начались споры. Кто-то сомневался, а кто-то даже предположил, что ИИ просто копировал информацию из существующих публикаций. Наконец, после двух месяцев анализа и обсуждений, комитет экспертов признал доказательство верным.

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