OpenAI опубликовала 722 статьи по математике
OpenAI опубликовала 722 статьи по математике Это результат попытки решить 4000 открытых — пока нерешённых — математических задач. На каждую выделили примерно 3 часа GPT Pro с ещё не выпущенной моделью OpenAI. Часть результатов уже формализована в Lean — системе компьютерной проверки доказательств. Остальные доказательства OpenAI обещает постепенно перевести в такой же формат. Статьи доступны в репозитории OpenAI с лаконичным названием math. репозитории OpenAI с лаконичным названием math: https://github.com/openai/math Источник: https://t.me/ai_newz/4798 #RealVibe #AI #AI_Новости
1 просмотров