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?

THE PROOF IN THE CODE goes on sale June 9th. Preorder your copy today: www.quantabooks.org/books/the-pr...

Truth Machine: PW Talks with Kevin Hartnett In The Proof in the Code (Quanta, June), the journalist chronicles how the computer program Lean is fundamentally changing mathematics research and transforming AI.

Read the full interview, where Hartnett talks Lean, how it’s transforming mathematics and AI, and what it takes to bring a technical topic to life through a character-driven story.

www.publishersweekly.com/pw/by-topic/...

“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.

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...

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

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?

Read more about THE PROOF IN THE CODE (and preorder) here: www.quantabooks.org/books/the-pr...

THE PROOF IN THE CODE | Kirkus Reviews How the labor-intensive process of proving mathematical theorems was transformed by computational tools.

Excited to share our first trade review for Kevin Hartnett’s (@kevinhartnett.bsky.social) debut!

Check it out here: www.kirkusreviews.com/book-reviews...

“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.’”

For updates on new titles, events, & author news, subscribe to our newsletter here (www.quantabooks.org), or join us on LinkedIn here (www.linkedin.com/newsletters/...) and let us know your thoughts in the comment section.

We’ve also updated our website! Browse our current titles, learn how to submit queries and proposals, and read more about our imprint and our mission here: www.quantabooks.org

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...

We send newsletters roughly once a month, so it won’t clog up your inbox. Here’s our most recent one: mailchi.mp/e6a10f1202d8...

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

Illuminating Science and Math | 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.

To learn more about SIX MATH ESSENTIALS, or any of our other titles, visit us at quantabooks.org.

Here’s the beautiful cover from Na Kim at @fsgbooks.bsky.social—an elegant design for an elegant book!

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...

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.

Illuminating Science and Math | 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.

Learn more at quantabooks.org or click the link in our bio.

With wonder and wit, Tong revels in all that we’ve learned about our world and illuminates the questions that we’re still trying to answer about the stuff that makes up you, me, and everything else. If you’re only ever going to read one book about quantum field theory, this is it.

🚨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.

Illuminating Science and Math | 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.

Visit quantabooks.org to learn more, or click the link in our bio.

A glimpse into the workings of an incomparable mind and how he thinks about the beauty and interconnectedness of the mathematical enterprise, Tao’s book presents math not as magic, but as a powerful way of thinking anyone can learn.

🚨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.

Illuminating Science and Math | 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.

For more information, visit our website here: www.quantabooks.org.

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....

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?

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.

If you—or someone you know—has a brilliant book idea, we want to hear from you! Send your queries and book proposals to info[at]quantabooks.org or visit us at quantabooks.org.

Our focus is basic, fundamental science from physics, math, biology, chemistry and computer science. We’re excited about rigorously reported narrative nonfiction, explainers of fundamental ideas, and biographies of scientists or mathematicians, as well as history of science and natural history.

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.

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.

✍️Science Writing News Roundup #226 Meet Quanta Books, a New Imprint Dedicated to Illuminating Science.

Meet @quantabooks.bsky.social, a New Imprint Dedicated to Illuminating Science: sciencewriting.substack.com/p/science-wr... 🧪

Launched by @7homaslin.bsky.social of @quantamagazine.bsky.social, in partnership with @fsgbooks.bsky.social and @simonsfoundation.org.

#sciencesky #scicomm #scisky

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).