ИИ в математике: почему доказательства стали спором о правилах.
Заявления AI-лабораторий о решении открытых задач изменили не только темп исследований, но и порядок признания результатов. Главными ограничениями становятся проверка, объяснимость доказательств, авторство и доступ к вычислениям.