What I appreciated here is how calmly Tao separates useful pattern matching from actual mathematical understanding. There’s no AI hype or dismissal but just a reminder that proof, verification, and intuition are different things. It made me rethink where LLMs genuinely help vs where they just feel convincing. Thank you for sharing!
alt Hacker News
What I appreciated here is how calmly Tao separates useful pattern matching from actual mathematical understanding. There’s no AI hype or dismissal but just a reminder that proof, verification, and intuition are different things. It made me rethink where LLMs genuinely help vs where they just feel convincing. Thank you for sharing!