ИИ OpenAI подготовил 722 математические работы — часть доказательств проверили в Lean

Внутренняя модель OpenAI попыталась решить около 4 тысяч математических задач. Результатом стали 722 рукописи по теории чисел, вычислительной сложности, геометрии и математической физике.

Часть доказательств записали на Lean: система может проверить каждый логический шаг. Но формализация есть не у всех работ, а их новизну и научную ценность ещё должны оценить математики.

@mltimesofficial

🔗 Читать: https://mltimes.ai/ii-openai-podgotovil-722-matematicheskie-raboty-chast-dokaza/