| | Quantitative AI progress needs accurate and transparent evaluation (mathstodon.xyz) |
| 209 points by bertman 5 months ago | past | 104 comments |
|
| | A human metaphor for evaluating AI capability (mathstodon.xyz) |
| 155 points by bertman 5 months ago | past | 31 comments |
|
| | Terence Tao: Game theory, politics and control of information (mathstodon.xyz) |
| 59 points by bertman 5 months ago | past | 13 comments |
|
| | Terence Tao: DeepMind's open repository of formalized mathematics conjectures (mathstodon.xyz) |
| 3 points by joak 7 months ago | past | 1 comment |
|
| | Terence Tao on the importance of funding basic mathematical research (mathstodon.xyz) |
| 5 points by bertman 7 months ago | past | 1 comment |
|
| | Terence Tao: Using modern tools to semi-automatically formalize a proof in Lean (mathstodon.xyz) |
| 1 point by ColinWright 8 months ago | past |
|
| | Bluesky trusts the client app to fetch, and honestly report, webpage metadata (mathstodon.xyz) |
| 6 points by ColinWright 8 months ago | past | 1 comment |
|
| | Deconstructions of the Jigsaw Puzzles (mathstodon.xyz) |
| 1 point by ColinWright 9 months ago | past |
|
| | Terence Tao: A short text about when to consider using an AI for a task (mathstodon.xyz) |
| 6 points by ColinWright 9 months ago | past |
|
| | I Saw Democracy Die in Russia (mathstodon.xyz) |
| 51 points by jordigh 10 months ago | past | 13 comments |
|
| | Claude 3.7 in Cursor is eager – sometimes a bit too eager (mathstodon.xyz) |
| 19 points by stared 10 months ago | past | 9 comments |
|
| | Custom Software Becomes Commodity (mathstodon.xyz) |
| 2 points by stared 10 months ago | past |
|
| | Part two of Grant Sanderson's video with Terry Tao on the cosmic distance ladder (mathstodon.xyz) |
| 385 points by ColinWright 10 months ago | past | 94 comments |
|
| | What are Majorana zero modes? (mathstodon.xyz) |
| 79 points by ColinWright 10 months ago | past | 10 comments |
|
| | The asteroid posing the greatest threat of collision is called 2024 YR₄ (mathstodon.xyz) |
| 3 points by ColinWright 10 months ago | past |
|
| | Is the ArXiv safe from the current US Government attacks? (mathstodon.xyz) |
| 127 points by ColinWright 11 months ago | past | 101 comments |
|
| | Four Pieces Is Optimal (mathstodon.xyz) |
| 3 points by ColinWright 11 months ago | past | 1 comment |
|
| | Complex dynamics require complex solutions (mathstodon.xyz) |
| 214 points by ckemere 11 months ago | past | 144 comments |
|
| | "Homotopical macrocosms for higher category theory" identified as woke DEI grant (mathstodon.xyz) |
| 108 points by nabla9 11 months ago | past | 146 comments |
|
| | Terence Tao on the Ongoing Process of "Enshittification" (mathstodon.xyz) |
| 9 points by yo_yo_yo-yo 11 months ago | past |
|
| | Trump's Federal Funding Freeze and Mean-Field Game Theory (mathstodon.xyz) |
| 107 points by bertman 11 months ago | past | 89 comments |
|
| | Terence Tao about the balance between quantitative and qualitative thinking (mathstodon.xyz) |
| 3 points by bertman 11 months ago | past |
|
| | Terence Tao: The Regime of "No Effective Dynamics" (mathstodon.xyz) |
| 4 points by bertman 11 months ago | past |
|
| | Dark patterns: It's not a real checkbox, but an SVG lookalike (mathstodon.xyz) |
| 1 point by ColinWright 12 months ago | past | 1 comment |
|
| | Folklore Maths Tricks from Terence Tao (mathstodon.xyz) |
| 2 points by colinprince on Jan 6, 2025 | past |
|
| | One of my papers got declined today (mathstodon.xyz) |
| 853 points by GavCo on Jan 1, 2025 | past | 290 comments |
|
| | What's Causing the Great Stagnation? (mathstodon.xyz) |
| 15 points by hackandthink on Dec 30, 2024 | past | 1 comment |
|
| | The number pi has an evil twin (mathstodon.xyz) |
| 579 points by pkaeding on Dec 24, 2024 | past | 207 comments |
|
| | QwQ-32B significantly better at competition problems than previous open models (mathstodon.xyz) |
| 1 point by fspeech on Nov 30, 2024 | past |
|
| | Terence Tao's Update on Equational Theories Project Results (mathstodon.xyz) |
| 3 points by riffraff on Nov 21, 2024 | past |
|
|
| More |
