Мир Высшая математика переживает очередной технологический шок. Впервые специализированная нейросеть, обученная на базе алгоритмов глубокого обучения с подкреплением, смогла найти решение комбинаторной задачи, которая оставалась неприступной с начала 1980-х годов. Речь идет о поиске специфических графов Рамсея на сверхбольших множествах — проблеме, о которую сломали зубы несколько поколений выдающихся алгебраистов.

Казалось бы, это абсолютный триумф машин над человеческим разумом. Алгоритм проанализировал триллионы возможных конфигураций за несколько недель работы на распределенном суперкомпьютерном кластере и выдал матрицу, которая полностью удовлетворяет условиям теоремы. Однако академическое Математическое сообщество отреагировало на эту новость весьма сдержанно, а некоторые профессора и вовсе отказались признавать это "научным доказательством".