ИИ впервые помог верифицировать доказательство для Медали Филдса: прорыв в автоматизации математики
Система на базе Gemini 3 Deep Think формально проверила ключевую лемму из теории упаковки. Как ИИ стал судьёй в высшей лиге математики и что это значит для наук
Читать →