Математик — лауреат Филдсовской премии описал шок от решения задач ИИ

Математик, получивший Филдсовскую премию в 2022 году, заявил, что шокирован решением ИИ задач, над которыми он работал всю карьеру. По его словам, 6 октября OpenAI выпустила сотни работ, закрывающих как минимум 372 давние открытые проблемы математики.

• Математик заявил, что парализован: ни одна крупная открытая проблема его карьеры не осталась нетронутой
• 6 октября OpenAI выпустила сотни работ по минимум 372 открытым задачам математики
• Многие результаты проверены в формальных системах вроде Lean, что исключает галлюцинации
• Автор сравнил ситуацию с шоком шахматистов после Deep Blue и игроков в го после AlphaGo