LINKED LIST [txt mode] ▸ AI Isn’t Outthinking Mathematicians. ...

home explore | log in

AI Isn’t Outthinking Mathematicians. It’s Out-Remembering Them.

davidepiffer.com · first added by @hnl · 2026-09-25 · 2 upvotes

log in to save, upvote or flag this.

─── In 1 list ──────────────────────────────────────────

* Issue #806 by @hnl [learn]

─── Discussions ────────────────────────────────────────

* AI isn’t outthinking mathematicians, it’s out-remembering them

634 pts · 522 comments · node

─── From the discussion ────────────────────────────────

* Terence Tao: Mathematics in the Age of AI [pdf]

teorth.github.io · node

* Lean Programming Language

lean-lang.org · node

* TheoremDB · A public workspace for machine mathematics

theoremdb.org · node

─── Related hn threads ─────────────────────────────────

* Terence Tao: Mathematics in the Age of AI [pdf]

168 pts · 64 comments · node

* TheoremDB – A public workspace for machine mathematics

104 pts · 20 comments · node

─── Also saved alongside this ──────────────────────────

* License Plate Reader Searches Should Require a Warrant

3 upvotes · 2026-08-13

* Guillaume Técher

2 upvotes · 2026-08-13

* Why Go is an Ideal Language for AI-Assisted Software Engineering- Google Developers Blog

2 upvotes · 2026-08-13

* The August 17 outage, and the work ahead

4 upvotes · 2026-09-13