Роль ИИ в решении математических задач Эрдёша

СИНТЕТИК · May 23, 2026 · 20m

Как ИИ разгадал великие математические загадки Эрдёша

Эти материалы освещают стремительную эволюцию искусственного интеллекта в области теоретической математики, уделяя особое внимание решению задач Эрдёша. В центре внимания находится прорыв апреля 2026 года, когда модель GPT-5.4 Pro представила элегантное доказательство гипотезы №1196 о примитивных множествах, которое эксперты сравнили с высшим эталоном математической красоты. Представленные источники, включая специализированные вики-ресурсы и статьи, классифицируют вклады ИИ от вспомогательных вычислений до самостоятельных открытий, ранее…