Глава кафедры математики UT Austin: OpenAI готовится выпустить ~400 доказательств, созданных ИИ

Фрэнсиско Маджи отмечает, что OpenAI, вероятно, выпустит пакет из примерно 400 доказательств, сгенерированных искусственным интеллектом. Это событие сигнализирует о том, что математика приближается к моменту, когда открытием новых фактов перестанет быть дефицитным ресурсом, уступая место задаче человеческого понимания.