Профиль

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.

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!

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

Видео

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

Видео

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

Видео

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.

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

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

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.

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)

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.

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.

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?

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

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

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

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

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

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

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