Illustration Beyond Proof
🔥Hacker News2026-10-11
域名
terrytao.wordpress.com
10 条相关内容
What mathematicians should know about the Lean Theorem Prover: reliability & AI
🔥Hacker News2026-10-09
What should we tell our students?
🔥Hacker News2026-10-09
The Future of Mathematics
🔥Hacker News2026-10-05
We're gonna need a lot more mathematicians
🔥Hacker News2026-09-26
We're Gonna Need More Mathematicians
🔥Hacker News2026-09-25
The Advisory Group on Mathematics and Artificial Intelligence
🔥Hacker News2026-09-21
Why do we need human mathematicians anymore?
🔥Hacker News2026-09-20
If math is more than proof, we need to better celebrate the rest of it
🔥Hacker News2026-09-19
After Math
🔥Hacker News2026-09-13