Тэг
Теренс Тао
Как ИИ меняет математику: от решения задач тысячелетия до кризиса верификации
Разбираем, как нейросети решают гипотезы Эрдёша и уравнения Навье — Стокса, зачем математикам Lean и как Теренс Тао предлагает переосмыслить научный процесс.
Читать далее 01.





