К содержимому
roko.fans
четверг, 8 октября 2026
свежее
ИИ
Технологии
Рынки
Крипта
поиск и архив
индекс 40,7
войти
Поиск по записям
индекс 40,7
≡
×
Свежее
ИИ
Технологии
Рынки
Крипта
Поиск и архив
Индекс
40,7
вход — для «Моих интересов»
Войти
Поиск и архив
Поиск по записям
×
фильтры
скрыть фильтры
Тема
ИИ
0
Технологии
1
Рынки
0
Крипта
0
Источники
любые
от двух
один источник
Период
неделя
месяц
год
всё время
Показать
найдено: 1 по запросу «Lean»
по совпадению
Запрос совпал с тегом, его записи тоже в выдаче:
Lean →
OpenAI выложила 722 математических манускрипта, полученных внутренней моделью
Вместе с текстами компания выкладывает на GitHub формализации доказательств в
Lean
и подробности исследования. Работу модели компания описывает с оговорками. По данным
вчера, 04:36
Технологии
11 источников
0
1
0
0