Lean
7 статей
1ч 10м🏭 Юрий Атанасов: «Каждая четвертая машина в Германии имеет детали Centravis из Никополя»
3ч 14м🧠 Теренс Тао: Как водяной робот может взорвать математику
1ч 44м🧠 Сварат Чаудхури: «ИИ станет соавтором в математике к 2026 году»
1ч 16м🧬 Анима Анандкумар: «ИИ предсказал мутации Омикрона до того, как они появились»
17 мин🧠 Уэс Рот об AlphaProof: как ИИ научился решать задачи уровня лучших математиков мира
58 мин🧠 Как ИИ от OpenAI научился решать олимпиадные задачи по математике через самообучение
50 мин🚀 Как OpenAI научила нейросети доказывать олимпиадные теоремы