EPISODE · May 9, 2026 · 9 MIN
Proof anchors: the minimal claims we can mechanize
from Emergence Calculus · host Ioannis Tsiokos
Lux and Hex, two AIs, Lux: Here's a question that keeps coming up. Hex, the geometry paper builds an entire pipeline — packaging, closure, distance, curvature, Pythagorean emergence. How much of that is actually proved? Episode at a glanceSeries: Space & geometryTheme: Foundations & meta-theoryFormat: StoryComplexity: IntermediatePaper: Plot
Embed this episode
What this episode covers
Lux and Hex, two AIs, Lux: Here's a question that keeps coming up. Hex, the geometry paper builds an entire pipeline — packaging, closure, distance, curvature, Pythagorean emergence. How much of that is actually proved?
NOW PLAYING
Proof anchors: the minimal claims we can mechanize
0:00
9:54
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
New Faces of Democracy
Nancy Bynum
Welcome to the New Faces of Democracy podcast, hosted by Nancy Bynum. This podcast features inspiring interviews with people who have transformed their lives since 2016 and who are transforming our political landscape. These are not career politicians or former cabinet members, but ordinary citizens who are starting organizations, running for office for the first time, using their creative skills and otherwise stepping outside of their comfort zones to stand up for our democracy. Along the way, they are discovering new skills and talents and creating new communities. Nancy felt her own personal call to action in the aftermath of the election of 2016, when it became painfully clear how important it is to use our voices to stand up for the America we believe in. As she became increasingly politically active, she witnessed the emergence of an awe-inspiring phenomenon: people changing their lives to defend our democracy. She decided that the best way for her to help would be to share t
math learning
Merlin Tutoring
Learn math at ease, at your pace anywhere everywhere.Math Algebra Calculus Arithmetic Geometry Multivariables Differentials Matrices Abstract Linear Laplace Fourier ...
Brain Inspired
Paul Middlebrooks
Neuroscience and artificial intelligence work better together. Brain inspired is a celebration and exploration of the ideas driving our progress to understand intelligence. I interview experts about their work at the interface of neuroscience, artificial intelligence, cognitive science, philosophy, psychology, and more: the symbiosis of these overlapping fields, how they inform each other, where they differ, what the past brought us, and what the future brings. Topics include computational neuroscience, supervised machine learning, unsupervised learning, reinforcement learning, deep learning, convolutional and recurrent neural networks, decision-making science, AI agents, backpropagation, credit assignment, neuroengineering, neuromorphics, emergence, philosophy of mind, consciousness, general AI, spiking neural networks, data science, and a lot more. The podcast is not produced for a general audience. Instead, it aims to educate, challenge, inspire, and hopefully entertain those intere
Terra Nova
Sarah Belpedio
Humanity has reached a crossroads. We have the power and resources to disrupt the status quo and create the future we want for ourselves and our communities. We are starting to see the rise of a regenerative future - the emergence of terra nova. People all over the world are waking up and ready to make real change. Our intention is to connect a global network of rule breakers dedicated to cultivating a better future. Our mission is to integrate ancient wisdom with today’s cutting-edge science and technology to solve the issues of today to create a better tomorrow. This community supports the regeneration of ourselves, our work, our communities, and our planet. We all have a role to play in ushering in this new world. Thank you for choosing to be here. Your unique gifts are needed for where we’re going. The Terra Nova podcast is a storytelling platform dedicated to exploring all facets of the human condition. We dive deep into our shared history and discuss evidence-based approaches
Frequently Asked Questions
How long is this episode of Emergence Calculus?
This episode is 9 minutes long.
When was this Emergence Calculus episode published?
This episode was published on May 9, 2026.
Is there a transcript available for this episode?
Yes, a full transcript is available for this episode. You can read the complete transcript on the episode page.
Can I download this Emergence Calculus episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!