Терренс Тао: ИИ и Lean меняют облик современной математики
Математик Терренс Тао рассказал, как использование языка Lean и нейросетей превращает научные исследования в процесс, напоминающий разработку программ...
Математик Терренс Тао рассказал, как использование языка Lean и нейросетей превращает научные исследования в процесс, напоминающий разработку программ...