The path to mathematical superintelligence | Tudor Achim

The path to mathematical superintelligence | Tudor Achim

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. ---------------------------------------- Hosted on Acast. See acast.com/privacy [https://acast.com/privacy] for more information.

An immersive record of what the LA fires left behind | Nonny de la Peña

Arriving in the devastated neighborhoods of Los Angeles after the 2025 Southern California wildfires, journalist Nonny de la Peña started scanning the remains — what firefighters called “Nuketown.” Beneath the rubble, her team uncovered a surprising range of things that had survived. From a shockingly undamaged car to family heirlooms in a safety deposit box, see how her team found the story by stepping inside it. ---------------------------------------- Hosted on Acast. See acast.com/privacy [https://acast.com/privacy] for more information.

Why countries should measure dreams and ambitions (just like GDP) | Lance Katigbak

What do you want to be when you grow up? It's a universal question — and yet at some point, people stop asking you. Drawing on a nationwide survey across the Philippines, consumer researcher Lance Katigbak makes the case that countries should keep track of their citizens' ambitions and aspirations. His radical proposal: What if governments didn't just track GDP but also started measuring dreams? ---------------------------------------- Hosted on Acast. See acast.com/privacy [https://acast.com/privacy] for more information.

How play boosts your creativity and resilience | Katina Bajaj

When was the last time you just ... played? Creative health scientist Katina Bajaj thinks adults are in a "play deprivation crisis," where we've replaced our fun-loving human nature with optimization and efficiency. She makes the case that play isn't a reward for productivity but rather a survival skill — and invites you to rediscover the freedom of not knowing where something will end up. ---------------------------------------- Hosted on Acast. See acast.com/privacy [https://acast.com/privacy] for more information.

You know this song (but the orchestra doesn't) | Jacob Collier and VSO School of Music Orchestra

Jacob Collier walks onstage to conduct an orchestra ... but none of the musicians know what song they're about to play. In a joyful experiment in live music-making, Collier pieces together an iconic song with the VSO School of Music Orchestra (and a little help from the audience in the TED Theater). Turns out, all you need is some improvisational magic. ---------------------------------------- Hosted on Acast. See acast.com/privacy [https://acast.com/privacy] for more information.