OpenAI дропнули 722 пейпера по математике

Это результат попытки OpenAI решить 4000 открытых математических задач, на каждую задачу выделили примерно 3 часа GPT Pro с нерелизнутой моделью OpenAI. Часть результатов формализованы через Lean, OpenAI обещают постепенно формализовать и остальные доказательства. Ну и названия для репозитория они конечно выбрали эпичное.

https://github.com/openai/math

@ai_newz
===
💬Это пост из ленты, которую читает Саша - автор канала Мальцев: Карьера. Маркетинг. AI. @maltsevprosto

Другие каналы по темам:
🤖 AI @maltsevdaily
🧑‍🎓 Карьеры @maltsevdailyc
🦹 Маркетинга @maltsevdailym