Quanta Books

quantabooks.orgSix Math Essentials - Quanta BooksThe “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...

12h

Terence Tao’s SIX MATH ESSENTIALS publishes in two weeks. The UK edition—SIX MATHS ESSENTIALS—is out today! Order your copy: www.quantabooks.org/books/six-ma...

12h

Over the past weeks, Terry appeared in @theguardian.com, @theobserveruk.bsky.social, and @newscientist.com, and on BBC's More Or Less and Instant Genius podcasts to talk AI proofs, what math really is, and how his book’s six central concepts bridge the gap between abstruse math and everyday life.

quantabooks.orgquantabooks.org

12h

Terry has a full lineup of events in New York, Boston, and Kansas City, with more to come. See our current media roundup and event schedule here: www.quantabooks.org/terence-taos...

Quanta Books reposted

Amazon book reviewers are not always known for their concision, but this reader captured @kevinhartnett.bsky.social’s THE PROOF IN THE CODE (@quantabooks.org / @fsgbooks.bsky.social) in two sentences:

Terence Tao’s (@teorth.bsky.social) SIX MATH ESSENTIALS publishes on Nov 10, and Terry will be doing book events in NYC, Boston, and Kansas City—read our latest Philomath newsletter to register, and learn more.

View full thread

quantabooks.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

Meanwhile, per @wsj.com: Lean & LLMs “have forced mathematicians for the first time in more than a century to reckon with…their field.” Kevin Hartnett’s (@kevinhartnett.bsky.social) book on Lean’s story is just what readers need to understand the news. Read more: www.quantabooks.org/books/the-pr...

mailchi.mpTerry Tao Book Tour: NYC, Boston, Kansas City

Terry continues to emphasize an understanding-based approach to math rather than a strictly problem-solving one. Learn more about his idea of math as a way of thinking in SIX MATH ESSENTIALS, coming Nov 10: www.quantabooks.org/books/six-ma...

Quanta Books reposted

quantabooks.orgIs AI Solving Math Too Fast?In a world where AI can rapidly solve longstanding problems like Navier-Stokes, some mathematicians are calling for a more deliberative process to help preserve the field’s core values.

15 Sept

@quantabooks.org just published a new blog post to help make sense of the rapid pace of AI-generated and -assisted mathematics. www.quantabooks.org/is-ai-solvin...

quantabooks.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

15 Sept

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

Lean has also become the go-to way to verify math—@anthropic.com shouted out @kevinhartnett.bsky.social's THE PROOF IN THE CODE while announcing how Claude formalized Fermat’s Last Theorem: www.anthropic.com/research/for.... Learn more about the history of Lean: www.quantabooks.org/books/the-pr...

quantabooks.orgLife UnboundedIn 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...

15 Sept

Read more about how these watershed proofs are shaking up the field and how mathematicians are reflecting on their profession and why we do math: www.quantabooks.org/is-ai-solvin....

Terry explores what it means to treat math not just as a collection of unsolved problems but as a way of thinking in his forthcoming book, SIX MATH ESSENTIALS, publishing October 27th. Preorder here: www.quantabooks.org/books/six-ma....

Quanta Books reposted

Will Ratcliff

@wcratcliff.bsky.social

1 Sept

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

Quanta Books@quantabooks.org

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

Quanta Books reposted

bit.lyQuanta Books Opens a New Chapter in Science PublishingQuanta Books Opens a New Chapter in Science Publishing on Simons Foundation

5 Sept

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

Quanta Books reposted

Simons Foundation

@simonsfoundation.org

1 Sept

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: https://bit.ly/4cgWegN

Drawing on sixteen years of watching multicellular life evolve from scratch in his lab, Ratcliff reveals how a single evolutionary process drove every great leap in life’s complexity, from the first cells to human culture. Learn more here: www.quantabooks.org/books/life-u...

25 Aug

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

25 Aug

Preorder Terry’s book SIX MATH ESSENTIALS here: www.quantabooks.org/books/six-math-essentials. Read more about our events and how mathematicians are thinking about the future of AI in math in our latest blog post: www.quantabooks.org/quanta-books-at-maths-main-event/.

22 July

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.

quantabooks.orgEverything Is Fields - Quanta BooksCambridge professor David Tong takes us on an exuberant tour of quantum field theory, our deepest description of the fundamental laws of physics.

22 July

Thanks to Na Kim at @fsgbooks.bsky.social for this stunning design depicting quantum ripples throughout the cosmos! Preorder EVERYTHING IS FIELDS here: www.quantabooks.org/books/everyt...

8 July

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!

Quanta Books will be at Booth #102, raffling out swag and selling copies of THE PROOF IN THE CODE. View our full event schedule: Saturday, July 25 11AM–12PM: Terence Tao’s bookplate signing. 1:15PM–2:15PM: Kevin Hartnett's conversation with Thomas Lin, followed by book signing.

8 July

Register for ICM 2026 events on the Eventbrite: www.eventbrite.com/e/math-festi... Register for Kevin Hartnett’s conversation with Thomas Lin: www.eventbrite.com/e/the-proof-... Order new and forthcoming Quanta books: www.quantabooks.org

Terence Tao will sign bookplates for his forthcoming title, SIX MATH ESSENTIALS (10/27/26), an elegant distillation of six core ideas in math. Kevin Hartnett and publisher Thomas Lin (@7homaslin.com) will explore the future of math and AI covered in his gripping new book, THE PROOF IN THE CODE.

6 July

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

quantabooks.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

6 July

Order THE PROOF IN THE CODE: www.quantabooks.org/books/the-pr...

2 July

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

quantabooks.orgKevin Hartnett on Mathematics in the Age of AISometimes, a book perfectly meets its moment. Kevin Hartnett’s THE PROOF IN THE CODE was released on June 9, when everyone wanted to talk about math, computers, and AI.

2 July

Watch the whole interview on the Philomath blog: www.quantabooks.org/kevin-hartne... Order THE PROOF IN THE CODE: www.quantabooks.org/books/the-pr...

1 July

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

Quanta Books reposted

24 June

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.

Thomas Lin@7homaslin.com

Galleys for Terence Tao’s SIX MATH ESSENTIALS have arrived at our @quantabooks.org offices. We’re excited to share them with reviewers! The official publication date is Oct 27 and you can preorder the book here: www.quantabooks.org/books/six-ma...

22 June

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.

podcasts.apple.comThe 'Truth Machine' That Is Changing MathPodcast Episode · The Quanta Podcast · June 16 · 34m

22 June

More on the cutting edge of math, the possibilities of AI, and inroads into human-computer collaboration on The Quanta Podcast, where @kevinhartnett.bsky.social discusses his new book THE PROOF IN THE CODE. Listen: podcasts.apple.com/us/podcast/t... Order here: www.quantabooks.org/books/the-pr...

Quanta Books reposted

Quanta Magazine

@quantamagazine.org

16 June

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.comThe 'Truth Machine' That Is Changing MathPodcast Episode · The Quanta Podcast · June 16 · 34m

Quanta Books reposted

Grant Sanderson

@3blue1brown.com

10 June

@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.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

Quanta Books reposted

Simons Foundation

@simonsfoundation.org

9 June

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: https://bit.ly/43X5To1

8 June

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

quantabooks.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

8 June

Read more about the future of mathematics in Kevin Hartnett’s (@kevinhartnett.bsky.social) THE PROOF IN THE CODE, publishing tomorrow: www.quantabooks.org/books/the-pr...

4 June

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

quantabooks.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

4 June

Read more about Lean in Kevin Hartnett’s THE PROOF IN THE CODE, publishing June 9: www.quantabooks.org/books/the-pr...

3 June

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.

quantabooks.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

3 June

Preorder here: www.quantabooks.org/books/the-pr...

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)

Today, Lean continues this legacy of truth-seeking, giving mathematicians a powerful, interactive tool with which to fulfill Gödel’s dreams of “prov[ing] any theorem using nothing but a few mechanical rules.” (6/7)

quantabooks.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

Learn more in Kevin Hartnett’s THE PROOF IN THE CODE, publishing June 9: www.quantabooks.org/books/the-pr...

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)

Later, Bertrand Russell and Alfred North Whitehead’s Principia Mathematica (1910-1913) proposed a new formal system—type theory—for expressing, verifying, and maybe even discovering new mathematics. If the foundation was solid, maybe the resultant structure would be too. (4/7)

In 1931, Kurt Gödel shook the world with his incompleteness theorems, which argued that there were limits to knowledge: no formal system—a set of rules from which all else was supposed to follow—could ever be complete. Even then, Gödel was optimistic about formalized math. (5/7)

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)

In the fourth and third century BCE, Aristotle and Euclid laid the groundwork for rigorously verifying mathematics by representing it as a formalized, rational, symbolic language that could be objectively evaluated. (2/7)