iiinova — where your digital self keeps evolving

Quanta Books @quantabooks.org · 15/09/2026

Amid OpenAI’s news that they’d solved the Navier-Stokes problem—verified w/ Lean—many mathematicians, including Quanta Books author Terence Tao (@teorth.bsky.social), worry that the rapid pace of AI proofs could short-circuit the main purpose of math: “to increase your understanding of a subject.”

142

Reposted by Quanta Books

Will Ratcliff @wcratcliff.bsky.social · 01/09/2026

Four billion years ago, Earth was a sterile rock. Today it is teeming with life, from simple microbes to extraordinarily complex societies that span the globe. How does that happen? I'm writing a book about the answer: Life Unbounded, from Quanta Books. www.quantabooks.org/books/life-u...

quantabooks.org

Life Unbounded

In LIFE UNBOUNDED, pioneering evolutionary biologist William C. Ratcliff reveals that every great leap in life’s complexity, from the first cells to human culture, was driven by the same underlying pr...

817236

Reposted by Quanta Books

Thomas Lin @7homaslin.com · 05/09/2026

AnthropicAI just announced a formalization of Fermat’s Last Theorem using 13 million lines of Lean code. First on their recommended reading list is @kevinhartnett.bsky.social’s new book THE PROOF IN THE CODE: www.quantabooks.org/books/the-pr... Source: www.anthropic.com/research/for...

041

Reposted by Quanta Books

Simons Foundation @simonsfoundation.org · 01/09/2026

Science imprint @quantabooks.org is publishing books that shape the conversation around cutting-edge #science and #math, illuminating their central questions and fundamental ideas for everyone. Read more about their new and upcoming titles: bit.ly/4cgWegN

bit.ly

Quanta Books Opens a New Chapter in Science Publishing

Quanta Books Opens a New Chapter in Science Publishing on Simons Foundation

032

Quanta Books @quantabooks.org · 01/09/2026

🚨New book announcement! 🚨Evolutionary biologist William C. Ratcliff’s (@wcratcliff.bsky.social) LIFE UNBOUNDED (forthcoming 2029) delivers a sweeping narrative of the emergence of complex life, and how a sterile planet transformed into the rich mosaic of beings on Earth today.

1306

Quanta Books @quantabooks.org · 25/08/2026

In July, Quanta Books attended the 2026 ICM in Philly, where we met readers, sold books, and hosted 3 events: a signing with @teorth.bsky.social or his forthcoming book and a talk with @kevinhartnett.bsky.social and publisher @7homaslin.com on Kevin’s book THE PROOF IN THE CODE (& another signing).

122

Quanta Books @quantabooks.org · 22/07/2026

Cover reveal for David Tong's EVERYTHING IS FIELDS, publishing March 16, 2027! From one of today’s leading theoretical physicists comes a witty, exuberant tour of quantum fields, the fluid-like substances that make up our entire universe.

14310

Quanta Books @quantabooks.org · 08/07/2026

Meet Quanta Books authors Terence Tao (@teorth.bsky.social) (SIX MATH ESSENTIALS) and Kevin Hartnett (@kevinhartnett.bsky.social) (THE PROOF IN THE CODE) at the upcoming International Congress of Mathematicians (ICM)––SATURDAY, JULY 25, in the Pennsylvania Convention Center in Philadelphia!

131

Quanta Books @quantabooks.org · 06/07/2026

The programming language Lean is “at the heart of the AI model training ecosystem,” explains @kevinhartnett.bsky.social, author of THE PROOF IN THE CODE. Watch the whole conversation with his editor, Thomas Lin, at the Simons Foundation (@simonsfoundation.org): www.quantabooks.org/kevin-hartne...

100

Quanta Books @quantabooks.org · 02/07/2026

What are the technologies driving the AI revolution in math? @kevinhartnett.bsky.social, author of THE PROOF IN THE CODE, draws illuminating parallels between computer programming and math proofs in a talk at the Simons Foundation (@simonsfoundation.org).

100

Quanta Books @quantabooks.org · 01/07/2026

@kevinhartnett.bsky.social's book THE PROOF IN THE CODE is a powerful guide to today’s “sociological transformation in math.” Watch his full conversation at the @simonsfoundation.org: www.quantabooks.org/kevin-hartne... Order THE PROOF IN THE CODE: www.quantabooks.org/books/the-pr...

000

Reposted by Quanta Books

Thomas Lin @7homaslin.com · 24/06/2026

If you’re in the Philadelphia area on July 25, stop by the @quantabooks.org booth at the International Congress of Mathematicians at the Pennsylvania Convention Center. Terry Tao (@teorth.bsky.social) will be signing bookplates from 11am to noon.

quantabooks.org

Six Math Essentials - Quanta Books

The “Mozart of mathematics” invites readers on a brief tour of six core ideas—numbers, algebra, geometry, probability, analysis, and dynamics—that capture the beauty and power of mathematical thinking...

021

Quanta Books @quantabooks.org · 22/06/2026

With the programming language Lean, “math proofs can be written in a different way than they have been in millennia.” The future of truth may lie not on paper but in code.

120

Reposted by Quanta Books

Quanta Magazine @quantamagazine.org · 16/06/2026

The software package known as Lean — which can verify mathematical proofs — is bringing a major shift to the math world. But not everyone is sure it is good for the field. Tune in to The Quanta Podcast: podcasts.apple.com/us/podcast/t...

podcasts.apple.com

The 'Truth Machine' That Is Changing Math

Podcast Episode · The Quanta Podcast · June 16 · 34m

0235

Reposted by Quanta Books

Grant Sanderson @3blue1brown.com · 10/06/2026

@quantabooks.org just released their first book, on the story of Lean by @kevinhartnett.bsky.social. It's a great story, about a pretty significant part of what's happening in math right now. www.quantabooks.org/books/the-pr...

quantabooks.org

The Proof in the Code - Quanta Books

The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

010419

Reposted by Quanta Books

Simons Foundation @simonsfoundation.org · 09/06/2026

In his book, "The Proof in the Code: How a Truth Machine Is Transforming Math and AI," @kevinhartnett.bsky.social tells the story of computer program Lean in an effort to answer a longstanding question: Can computers reveal universal truths? Out today from @quantabooks.org: bit.ly/43X5To1

394

Quanta Books @quantabooks.org · 08/06/2026

“With marvelous clarity and narrative flair," acclaimed mathematician and author Steven Strogatz (@stevenstrogatz.com) declares, THE PROOF IN THE CODE “introduces us to ... the people reimagining what math can be.”

111

Quanta Books @quantabooks.org · 04/06/2026

As Grant Sanderson (@3blue1brown.com) says, the program Lean is "one of the most important things happening to math right now—future generations may come to regard it as the Euclid’s Elements of our time."

101

Quanta Books @quantabooks.org · 03/06/2026

From award-winning science writer Anil Ananthaswamy (@anilananth.bsky.social): To learn about the future of computer science, math and AI, read Kevin Hartnett's (@kevinhartnett.bsky.social) THE PROOF IN THE CODE. Available June 9.

233

Quanta Books @quantabooks.org · 28/05/2026

The programming language and math proof assistant Lean is the latest tool in a millennia-long search to discover and verify the truth. A thread: (1/7)

132

Quanta Books @quantabooks.org · 26/05/2026

Want to know what the next phase of human-machine relations looks like? Futurist Amy Webb (@amywebb.bsky.social) points to Kevin Hartnett's (@kevinhartnett.bsky.social) THE PROOF IN THE CODE.

112

Quanta Books @quantabooks.org · 19/05/2026

In a world of hallucinating black box AI models, it's increasingly hard to know with complete certainty if something is true. Lean offers a way forward. Read more in Kevin Hartnett's (@kevinhartnett.bsky.social) THE PROOF IN THE CODE, publishing June 9.

101

Quanta Books @quantabooks.org · 15/05/2026

Join us on 6/5 at 6 PM for an SF Presents talk with Kevin Hartnett (@kevinhartnett.bsky.social) and Thomas Lin (@7homaslin.com) as they explore the future of math and grapple with the existential question: Can computers reveal universal truths?

100

Quanta Books @quantabooks.org · 13/05/2026

“[THE PROOF IN THE CODE] is science writing at its best: technically precise, conceptually ambitious, and consistently accessible. ... A rare achievement.” — Seth Mnookin (@sethmnookin.bsky.social), author of The Panic Virus

102

Quanta Books @quantabooks.org · 06/05/2026

🚨New book announcement!🚨 Award-winning astronomer Emily Levesque’s (@emsque.bsky.social STARLIGHT IS FALLING, coming 2027, offers an expansive, eye-opening account of cosmic discovery through one of the greatest scientific debates of all time: the precise value of the Hubble constant.

132

Quanta Books @quantabooks.org · 04/05/2026

🚨New book announcement!🚨 Immunologist @drshrutinaik.bsky.social's IMMUNE INTELLIGENCE, coming 2028, upends what we know about the immune system, revealing it as a dynamic cellular intelligence agency that controls everything from metabolism to behavior.

121

Quanta Books @quantabooks.org · 30/04/2026

🚨New book announcement!🚨 Distinguished geoscientist Gerilyn (Lynn) Soreghan’s THE CAPITAL OF DUST, coming in 2028, explores the astonishing role that windblown mineral dust—loess—has played in building human civilization and archiving the history of Earth’s climate.

121

Quanta Books @quantabooks.org · 16/04/2026

“When I started writing [THE PROOF IN THE CODE] two years ago, Lean and AI had nothing to do with each other. Now, they’re deeply intertwined …. This was one of the great surprises of the book.” From this month's @publisherswkly.bsky.social interview with @kevinhartnett.bsky.social.

101

Reposted by Quanta Books

The Transmitter @thetransmitter.bsky.social · 25/03/2026

Explore “Brainstorming,” @thetransmitter.bsky.social’s new LinkedIn newsletter that looks at how neuroscientists are solving research challenges. The first edition features nontraditional model organisms that are well suited for studying certain behaviors or neurological conditions. bit.ly/4v6x506

bit.ly

The nontraditional model organism renaissance

Each month, The Transmitter explores creative approaches neuroscientists are taking to solve problems that arise in their research. In this installment, we see how researchers work backward from speci...

13820

Quanta Books @quantabooks.org · 18/03/2026

“A fascinating example of how cultural clashes and creativity can create new paradigms… [In THE PROOF IN THE CODE], proofs, personalities, and machines collide—intriguingly—at the uneasy intersection of mathematics and computer science.’”

101

Quanta Books @quantabooks.org · 10/03/2026

In today’s edition of Philomath, we offer a glimpse behind the scenes: how we think about submissions, what we’re looking for in a proposal, and some of our favorite science books. Check it out here: mailchi.mp/066f700b557f...

mailchi.mp

What Makes a Quanta Book?

142

Quanta Books @quantabooks.org · 12/02/2026

Be the first to hear about our forthcoming books and special events. Receive author interviews and publishing tips. Get the inside story behind our logo, imprint, and book projects. Sign up for our newsletter at the bottom of this web page: quantabooks.org

121

Quanta Books @quantabooks.org · 10/02/2026

We’re thrilled to announce that Terence Tao (@teorth.bsky.social)’s SIX MATH ESSENTIALS is available for preorder: us.macmillan.com/books/978037.... A whirlwind tour through six core ideas that have guided mathematicians from antiquity to the frontiers of what we know today. Pubs October 27, 2026.

us.macmillan.com

Six Math Essentials

The “Mozart of mathematics” invites readers on a brief tour of six core ideas—numbers, algebra, geometry, probability, analysis, and dynamics—that ca...

26017

Quanta Books @quantabooks.org · 09/12/2025

🚨New book announcement!🚨 Leading theoretical physicist and Cambridge professor David Tong's new book EVERYTHING IS FIELDS is coming 2027. A brilliant, lively tour through quantum field theory, the deepest description we have of how our world works—& the most difficult topic in theoretical physics.

170

Quanta Books @quantabooks.org · 08/12/2025

🚨New book announcement!🚨 Renowned mathematician and Fields medalist Terence Tao’s (@teorth.bsky.social) SIX MATH ESSENTIALS is coming fall 2026. Tao’s first popular math book introduces six core ideas that have guided mathematicians from antiquity to the frontiers of what we know today.

1155

Quanta Books @quantabooks.org · 10/11/2025

Check out the cover for our inaugural title, @kevinhartnett.bsky.social’s THE PROOF IN THE CODE, coming June 9, 2026! Shoutout @fsgbooks.bsky.social for the beautiful design. Want a copy of your own? You can now preorder here: us.macmillan.com/books/978037....

12810

Reposted by Quanta Books

Thomas Lin @7homaslin.com · 20/02/2025

Feels amazing for @quantabooks.bsky.social to join @fsgbooks.bsky.social's family of imprints -- and how cool is it that we get to sit next to @questlove.bsky.social's AUWA BOOKS?

052

Quanta Books @quantabooks.org · 18/02/2025

Announcing again: 🚨We’re open for submissions! 🚨 As part of our mission to demystify publishing and to develop exceptional science books, we welcome queries and submissions from scientists, mathematicians, and science writers, whether you have an agent or not.

112

Quanta Books @quantabooks.org · 10/02/2025

We’ll be at the #AAASmtg with @aaas.bsky.social in Boston this week—will you? If you have a great science book idea or want to learn more, reach out at info[at]quantabooks.org.

011

Reposted by Quanta Books

Kevin Hartnett @kevinhartnett.bsky.social · 02/02/2025

Excited to announce that my book, "The Proof in the Code," will be the first title from @quantabooks.bsky.social, a new collaboration between @simonsfoundation.org and @fsgbooks.bsky.social. Coming in Spring 2026, it's the story of how Lean is transforming math (and influencing AI via RL).

1153

Reposted by Quanta Books

Thomas Lin @7homaslin.com · 30/01/2025

How cool is the illustration featured on the @quantabooks.bsky.social website? Big thanks to the great Peter Greenwood (www.peter-greenwood.com), who was fun to collaborate with and whose visually arresting designs also grace @quantamagazine.bsky.social's JOY OF WHY podcast. www.quantabooks.org

quantabooks.org

Quanta Books

Publishing books that explore the frontiers of science and math, illuminate our quest to understand the universe, and capture the wonder of discovery, for curious readers everywhere.

021

Reposted by Quanta Books

Thomas Lin @7homaslin.com · 29/01/2025

In case you're in the mood for some good news today, I'm excited to announce @quantabooks.bsky.social, our new imprint at @simonsfoundation.org partnering with the amazing team at @fsgbooks.bsky.social. Learn more at www.quantabooks.org and send us your book queries!

quantabooks.org

Quanta Books

Publishing books that explore the frontiers of science and math, illuminate our quest to understand the universe, and capture the wonder of discovery, for curious readers everywhere.

0237

Quanta Books @quantabooks.org · 29/01/2025

🚨New book announcement🚨 Kevin Hartnett’s THE PROOF IN THE CODE (coming 2026) tells the gripping story of the birth and rise of Lean, a Microsoft computer program transforming the world of mathematics. A timely challenge to our assumptions about who–or what–can do math—visit quantabooks.org for more.

0118

Reposted by Quanta Books

Farrar, Straus and Giroux @fsgbooks.bsky.social · 29/01/2025

FSG is pleased to announce the launch of @quantabooks.bsky.social, a partnership imprint led by Thomas Lin, the founding editor of the Pulitzer Prize–winning @quantamagazine.bsky.social. www.quantabooks.org

23210

Quanta Books @quantabooks.org · 29/01/2025

Today we’re thrilled to launch Quanta Books, a new science imprint led by @7homaslin.bsky.social, the founding editor of @quantamagazine.bsky.social, in partnership with @fsgbooks.bsky.social.

1112