Astra от OpenAI решает 10 крупных математических задач, но вызывает глубокие опасения

OpenAI сообщила, что внутренняя версия её модели нового поколения Astra решила или существенно продвинула десять открытых задач в математике и теоретической информатике, примерно за 2000 долларов за задачу. Хотя это отмечается как прорыв, математики предупреждают, что поток доказательств, созданных ИИ, перегружает способность поля проверять и понимать их, что рискует привести к будущему, где задачи решаются без человеческого понимания.