LINKED LIST [txt mode] ▸ Ten advances in mathematics and theor...

home explore | log in

Ten advances in mathematics and theoretical computer science

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

log in to save, upvote or flag this.

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

* Issue #804 by @hnl [learn]

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

* Ten advances in mathematics and theoretical computer science

632 pts · 942 comments · node

* Ten advances in mathematics and theoretical computer science

463 pts · 0 comments · node

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

* GitHub - openai/ten-proofs: Lean certificates accompanying ten proofs in mathematics and theoretical computer science

github.com · node

* ten-proofs/NonSoficGroup.lean at main · openai/ten-proofs

github.com · node

* ten-proofs/ComparatorChallenges/D_NonSoficGroup.lean at 94bc0feb6a9ff12c7d31d6de640a725c9d43d2b6 · openai/ten-proofs

github.com · node

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

teorth.github.io · node

* Zhang, Yitang's Life at Purdue (Jan. 1985-Dec, 1991)

math.purdue.edu · node

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

* LLMs reward expertise

4 upvotes · 2026-08-03

* Mario meets Pareto

3 upvotes · 2026-08-12

* Don't be a meat proxy

3 upvotes · 2026-08-21

* Prevent cognitive debt by manually retyping LLM-generated code — Ankur Sethi's Lab Notebook

3 upvotes · 2026-08-27