OpenAI выложила на GitHub 372 математических доказательства, призвав академический мир не отставать
OpenAI опубликовала на GitHub 372 математических результата, сгенерированных ИИ, включая формализации на Lean для машинной проверки. На каждый результат в среднем ушло около трёх часов вычислительных ресурсов ChatGPT Pro. Но 25 лауреатов медали Филдса предупреждают, что массовое производство математических истин может уничтожить плодородную…