Ведущий математик Тимоти Гауэрс: «ИИ решил одну из главных открытых проблем... над которой бились многие учёные»

Известный математик Тимоти Гауэрс подтвердил, что искусственный интеллект достиг прорыва в решении фундаментальной открытой задачи, которую ранее не удавалось решить даже экспертам. Это событие демонстрирует растущие возможности нейросетей в области формальных доказательств и теоретической математики.