Skip to content

Sign up for a small monthly payment and enjoy ads-free browsing at 3QD


3 Quarks Daily

Make a one-time donation and enjoy ads-free browsing at 3QD


  • Home
  • About Us
  • Recommended Reading
  • Magazine Archives
  • Support 3QD
  • Log In

Terence Tao on Machine-Assisted Mathematical Proofs

Posted on Monday, Mar 3, 2025 12:45PMMonday, March 3, 2025 by S. Abbas Raza

Enjoying the content on 3QD? Help keep us going by donating now.

Post navigation

Social Science Is Broken & Here’s How to Fix It
Math puzzle: Imagine there’s no zero

The Curated Links at 3QD *

The usual curated links to articles elsewhere are no longer on the front page. They are on the “Recommended Reading” page which can be accessed by clicking the menu item of that name, just under the main 3QD banner. Try it and see. Or just click here.

Receive 3QD Posts by Email

Please fill out the form below to get our email with all the posts from the previous 24 hours, which is sent out a bit after midnight (NY City time) each day. This is completely free of charge for everyone.
Name: 
Your email address:*
Please wait...
Please enter all required fields Click to hide
Correct invalid entries Click to hide

Follow 3QD on Social Media


What People Say About 3QD




“I’m a longtime fan of 3 Quarks Daily!”

—Ben Orlin, author of four best-selling mathematics books: Math with Bad Drawings (2018), Change is the Only Constant (2019), Math Games with Bad Drawings (2022), and Math for English Majors (2024).




"3 Quarks is a daily must-read for intellectuals of all stripes. It is perhaps even smarter and better and more comprehensive than Arts & Letters Daily, the de facto gold standard of the smart set on the internet."

—Laura Claridge, former Professor of English at the U.S. Naval Academy, and author of Romantic Potency: The Paradox of Desire, Tamara de Lempicka: A Life of Deco and Decadence, and Norman Rockwell: A Life.




"I really appreciate your selection of generally sane and mostly stimulating articles. 3 Quarks Daily has been my goto website at the end of the day, and now also during the day!"

—Horst Ludwig Störmer, Nobel laureate in physics and emeritus professor at Columbia University.




"3QD is always interesting--you (and your other contributors) have a fine eye for good writing in both the arts and the sciences, which is a very rare thing indeed."

—Rochelle Gurstein, author of The Repeal of Reticence, and frequent contributor to The New Republic, Salmagundi, and American Scholar.




"I look at your site every day. It's where the two cultures meet."

—Suketu Mehta, author of Pulitzer Prize finalist Maximum City, winner of the O. Henry Prize, and frequent contributor to various newspapers and magazines.




"I look for relevant research, interesting themes and funny stories on sites like 3 Quarks Daily, Crooked Timber, Boing Boing and Slashdot."

—Clay Shirky, prominent thinker on the Internet and its social and economic consequences, and author of Here Comes Everybody, in The Atlantic.




“From my perspective as an early modernist, what you’re undertaking is akin to the heroic labors of Renaissance compositors, who would (like you) read widely and excerpt and synthesize vast amounts of knowledge for others. A real service to the republic of letters.”

—Scott Newstok, Executive Director of the Spence Wilson Center for Interdisciplinary Humanities, Rhodes College, and author of How to Think like Shakespeare: Lessons from a Renaissance Education.




"For sheer elegance, wit and worldly wisdom when it comes to reading, editing, presenting the real news of the world... for liveliness, cosmopolitanism, range of scientific, philosophical, and literary curiosity in harvesting big and provocative ideas... for consistency of character and manners, ever above the ordinary... 3 Quarks stands alone. If 3 Quarks Daily were a person, wouldn't it be Proust?"

—Christopher Lydon, host of the excellent show "Open Source" on National Public Radio, author, media personality.




"I've recommended your site to a number of friends and colleagues who've bemoaned the dearth of sites with any literary/scientific muscularity. Keep up the wonderful work."

—John Allen Paulos, Professor of Mathematics at Temple University, and bestselling author of Innumeracy




"It is a great honor to be mentioned in one of my two ONLY portals to the internet—and the world, since I do not read newspapers. My discipline, to avoid drowning in information, is not to cruise the web outside of these two points. I tried many sites; yours has CHARM."

—Nassim Nicholas Taleb, author of Fooled by Randomness and The Black Swan. [The other site NNT is referring to is the excellent Arts & Letters Daily.]












Recent Comments on 3QD

3QD Design History and Credits

The original site was designed by S. Abbas Raza in 2004 but soon completely redesigned by Mikko Hyppönen and deployed by Henrik Rydberg. It was later upgraded extensively by Dan Balis in 2006. The next major revision was designed by S. Abbas Raza, building upon the earlier look, and coded by Dumky de Wilde in 2013. And this current version 5.0 has been designed and deployed by Dumky de Wilde in collaboration with S. Abbas Raza.

3 Quarks Daily

3 Quarks Daily started in 2004 with the idea of creating a curated retreat for everything intellectual on the web. No clickbait, no fake news, not just entertainment, but depth and breadth —something increasingly hard to find on the internet today. If you like what we do, please consider making a donation.