PodParley PodParley
PodParley
NTN 463 - GPT-5.2 vs Matemáticos: primer round

EPISODE · Jan 12, 2026 · 12 MIN

NTN 463 - GPT-5.2 vs Matemáticos: primer round

from No Tiene Nombre

Esta semana la IA se metió en terreno sagrado GPT-5.2 resolvió un problema abierto de Paul Erdős La prueba fue verificada en Lean Terence Tao la aceptó ¿Es un antes y un después o solo “la fruta más baja”? Hablamos de matemáticas, razonamiento, y lo que se viene para todos los laburos lógicos. Dale play antes de que la IA también resuelva tu backlog. Fuentes: • https://x.com/NeelSomani • https://terrytao.wordpress.com • https://leanprover-community.github.io/

NOW PLAYING

NTN 463 - GPT-5.2 vs Matemáticos: primer round

0:00 12:21

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

Why Live and Evergreen Models Both Fall Short

Feb 4, 2026 ·18m

🍞📌BACK IN A WEEK!~

Sep 8, 2025 ·0m

🍞 Seeing the Bigger Picture of God's Plan | 061

Aug 31, 2025 ·1m

🍞 Staying Mindful in Peace | 060

Aug 30, 2025 ·1m

🍞 Long-Term Planning Through Wisdom | 059

Aug 29, 2025 ·1m

🍞 Recognizing the Worth of Others | 058

Aug 28, 2025 ·1m

Similar Podcasts

Consellería do Ritmo Radio Galega Tito Lesende produce e conduce unha serie de capítulos monográficos ou temáticos arredor dunha charla repousada cun artista no ámbito rock ou pop galego. Os músicos e músicas terán un espazo preferente, e poderán compartir protagonismo con outros axentes da escena musical galega: axentes, promotoras, recintos senlleiros etc. The Last Outlaws Impact Studios at UTS In a History Lab season like no other, we're pulling on the threads of one of Australia's great misunderstood histories, moving beyond the myths to learn what the Aboriginal brothers Jimmy and Joe Governor faced in both life and death.Australia's budding Federation is the background setting to this remarkable story, that sees the Governor brothers tied to the inauguration of a 'new' nation and Australia's dark history of frontier violence, racial injustice and the global trade and defilement of Aboriginal ancestral remains. This Impact Studios production is a collaboration with the Governor family, UTS Faculty of Law and Jumbunna Institute for Indigenous Education and Research.The Last Outlaws teamKatherine Biber - UTS Law Professor and Chief InvestigatorAunty Loretta Parsley - Great-granddaughter of Jimmy Governor and the Governor Family Historian Leroy Parsons - Governor descendant, Narrator and Co-WriterKaitlyn Sawrey - Host, Writer and Senior ProducerFrank Lopez - Writer, Popup Chinese Popup Chinese Fresh from Beijing, PopupChinese teaches Chinese as it is actually spoken. Start with our basic Chinese lessons, and in no time you'll be speaking like a Beijinger. Our free daily podcasts, vibrant community, and love for the real China make us the most powerful and personal way to learn mandarin. Dj Paulo Moreno Dj 🇬🇧 Sound selections born from a knowledge of cause could be a way to describe Paulo Moreno.Always connected to the music and entertainment industries, the artist had a late awakening to djing, but no less dazzling for that. It was in London that he embraced the DJ impetus and performed regularly in renowned clubs and events such as Fabric London, Fire, Área, Heaven, Club No65, Union, Egg, Coronet and the Summer Rites festival, but he didn't stop there. The following years witnessed Paulo traveling all over the world to delight all those who listen to him with his sets full of depth, versatility, and energy. Portugal brought him a residency at Kremlin nightclub who gave him international recognition, regularly playing alongside names like Dennis Ferrer, Steve Lawler, Mendo, Prok and Fitch, and Hobo, Alan Fitzpatrick, Anja Schneider, Dennis Cruz, Goncalo, Anna, just to name a few.🇵🇹 Seleções sonoras nascidas de um conhecimento de causa poderia ser uma forma de descrever Paulo Moreno.D
URL copied to clipboard!