SAIR

Join us on LinkedIn Live for the global livestream of Science x AI Summit 2026, May 12-13, bringing together leading scientists, AI researchers, investors, and builders for two days of frontier conversations on science and AI.

We’ve officially launched the SAIR Contributor Network. We see this as an important step toward making the SAIR competition platform more collaborative, open, and community-driven. Our goal is to create a space where participants can learn from each other, build on strong ideas, and help useful work spread faster across the platform. Join the Mathematics Distillation Challenge: https://lnkd.in/gaZdib5e

Manuel Blum: The Inevitability of Conscious AI Turing Award laureate Manuel Blum presents the Conscious Turing Machine as a formal model of consciousness, suggesting that if awareness depends on functional structure, then conscious AI is a natural outcome of computational systems.

Lenore Blum: A Turning Point for Mathematics Lenore Blum discusses the growing involvement of mathematicians in AI, reflecting on a historical shift in mathematics — from a reluctance toward computation to a renewed embrace of AI as a tool for discovery and verification.

Mathematics is fundamentally a science of data compression. In a world where raw machine logic creates an exponential explosion of noise, how do humans use "compression" to build the meaningful structure of human math? We recently sat down with Fields Medalist Michael Freedman to discuss his provocative new paper, "Compression Is All You Need." In this conversation, we explore the massive gap between human mathematical intuition and the formal logic of systems like Lean, and discuss how new metrics can guide AI agents to effectively navigate the landscape of mathematical proofs. Watch the full conversation on YouTube: https://lnkd.in/gbu6VQ6Q Read the full paper "Compression Is All You Need" (co-authored by Vitaly Aksenov, Eve Bodnia, Michael H. Freedman, and Michael Mulligan) on arXiv: https://lnkd.in/gC9aPyPb

We celebrated π Day with a conversation with the Godfather of Silicon Valley about why math still runs the world. John Hennessy — Chairman of Alphabet, former President of Stanford, Turing Award Laureate — sat down with SAIR Secretary General Peter L. to say something the AI industry needs to hear more often: Scale is not enough. Science matters. And mathematics is not going away. From how quantitative thinking transformed computer architecture, to why reliability is the real AGI challenge, to what world models actually need to look like. One line that stuck with us: “Scientists still need to be in the loop.” That's not a limitation. That's the point. #AIforScience #ScienceforAI #SAIR #Mathematics #AGI #JohnHennessy #GodFatherOfSiliconValley