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 for more information.

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(2857)

How to build the next wave of clean energy | Jennifer Granholm, Ryan Panchadsaram

How to build the next wave of clean energy | Jennifer Granholm, Ryan Panchadsaram

Jennifer Granholm steered Michigan through the auto industry's near-collapse and later ran the US Department of Energy during the largest clean energy investment in the country's history. In conversat...

7 Nov 19min

The surprising beauty of mosquitos | Felix Hol

The surprising beauty of mosquitos | Felix Hol

Most people hate mosquitoes, but biotechnologist and TED Fellow Felix Hol thinks they're beautiful. He takes us inside his lab, where his team developed some unusual ways to study how these blood-suck...

6 Nov 31min

Why great art requires risk | Alex Van Halen, David Lee Roth, Robert Vargas

Why great art requires risk | Alex Van Halen, David Lee Roth, Robert Vargas

Alex Van Halen and David Lee Roth — two of the rock stars behind the legendary band Van Halen — sit down with visual artist Robert Vargas to reveal the two-step recipe for great art: do your homework,...

5 Nov 17min

5 ideas for better government in the US | Jeff Maurer

5 ideas for better government in the US | Jeff Maurer

Should the US Constitution protect your DNA? Your voice? Your data? Entrepreneur Jeff Maurer spent his youth fighting fires alongside World War II veterans, and he thinks the spirit that united them c...

4 Nov 16min

What kids wish their parents knew about fun | Mila Rojas

What kids wish their parents knew about fun | Mila Rojas

When was the last time you played, just for fun? Eleven-year-old Mila Rojas has noticed that adults — buried under schedules, expectations and the pressure to be serious — often see play as unproducti...

3 Nov 8min

The couples therapists who nearly got divorced | Harville Hendrix

The couples therapists who nearly got divorced | Harville Hendrix

Couples therapists Harville Hendrix and Helen LaKelly Hunt spent decades teaching the world how to love well … even as their own marriage was falling apart. In this candid, funny talk, Hendrix recount...

2 Nov 17min

Sunday Pick: Do all my friends secretly hate me? | from Corner Piece

Sunday Pick: Do all my friends secretly hate me? | from Corner Piece

Why does making friends as an adult feel like mission impossible?In today’s Sunday Pick, Corner Piece, host Melissa Fernandes explores what it means to be a friend while grappling with a friendship br...

1 Nov 41min

The haunting truth of ghost stories | Coya Paz Brownrigg (re-release)

The haunting truth of ghost stories | Coya Paz Brownrigg (re-release)

Ghost stories reveal much more than the ghouls and spirits that haunt them. Settle in for a spooky delight as theater educator Coya Paz Brownrigg lays out three types of bone-chilling tales and exhume...

31 Okt 14min

Populært innen Samfunn

rss-spartsklubben
aftenpodden-usa
giver-og-gjengen-vg
aftenpodden
konspirasjonspodden
popradet
rss-nesten-hele-uka-med-lepperod
wolfgang-wee-uncut
rss-espen-lee-usensurert
min-barneoppdragelse
grenselos
rss-henlagt-andy-larsgaard
synnve-og-vanessa
fladseth
rss-dette-ma-aldri-skje-igjen
frokostshowet-pa-p5
rss-herrepanelet
rss-lilli-isabelle
alt-fortalt
rss-optimisten-pessimisten-realisten