Математики сталкиваются с «быстрым и тревожным изменением»: ИИ решил ещё одну вековую задачу

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