1 месяц назад
133
Astra
Lean 4
OpenAI
ИИ
математика
+1
OpenAI представила модель Astra: ИИ решил 10 фундаментальных математических задач за $2000
2 августа OpenAI официально раскрыла название своего нового семейства моделей — Astra — и опубликовала результаты её работы. Система смогла решить десять фундаментальных задач в области математики и теоретической информатики, над которыми ученые работали десятилетиями. Проблемы охватывают шесть нап…
1 месяц назад
103
Astra
Lean
OpenAI
искусственный интеллект
математика
+1
OpenAI представила модель Astra: 10 математических прорывов за один отчет
Компания OpenAI анонсировала исследовательскую работу, посвященную внутренней модели Astra. По заявлению разработчиков, система смогла самостоятельно найти ключевые идеи для решения десяти давно открытых математических задач, а затем формализовать доказательства в системе Lean, получив машинно пров…
