Skip to content
The path to mathematical superintelligence | Tudor Achim

The path to mathematical superintelligence | Tudor Achim

TED Talks Daily
3 июл. 2026 г. 15 min
Открыть в Clue

Об эпизоде

<p>Generative AI hallucinates, creating a truth problem that science can't afford. Computer scientist Tudor Achim thinks a 400-year-old idea holds the fix: Leibniz's dream of a logical framework where errors are simply impossible. Learn about his idea for mathematical superintelligence that would ground AI in formal verification, turning unreliable chatbots into rigorous partners for scientific discovery.</p><p><br></p><hr><p style='color:grey; font-size:0.75em;'> Hosted on Acast. See <a style='color:grey;' target='_blank' rel='noopener noreferrer' href='https://acast.com/privacy'>acast.com/privacy</a> for more information.</p>

Слушай этот эпизод на английском, чтобы учить английский

Подкасты — один из самых плотных способов впитать английский в естественном темпе. The path to mathematical superintelligence | Tudor Achim от TED Talks Daily даёт живые диалоги, неподготовленную речь и лексику, которая действительно встречается в реальных разговорах.

В приложении Clue каждое слово транскрипта кликабельное. Тапни незнакомое слово, увидь перевод на своём языке мгновенно и продолжай слушать без потери ритма.

Эпизоды для изучения английского

Другие подкасты на английском