Submissions from mathstodon.xyz

		Tao on “blue team” vs. “red team” LLMs (mathstodon.xyz)
		542 points by qsort 6 months ago \| past \| 171 comments
		AI attempts at the International Mathematical Olympiad 2025 (mathstodon.xyz)
		1 point by robinhouston 6 months ago \| past
		Terence Tao: Applying Red Team / Blue Team Duality to AI Workflows (mathstodon.xyz)
		2 points by bertman 6 months ago \| past
		Quantitative AI progress needs accurate and transparent evaluation (mathstodon.xyz)
		209 points by bertman 6 months ago \| past \| 104 comments
		A human metaphor for evaluating AI capability (mathstodon.xyz)
		155 points by bertman 6 months ago \| past \| 31 comments
		Terence Tao: Game theory, politics and control of information (mathstodon.xyz)
		59 points by bertman 6 months ago \| past \| 13 comments
		Terence Tao: DeepMind's open repository of formalized mathematics conjectures (mathstodon.xyz)
		3 points by joak 8 months ago \| past \| 1 comment
		Terence Tao on the importance of funding basic mathematical research (mathstodon.xyz)
		5 points by bertman 8 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 9 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 10 months ago \| past
		I Saw Democracy Die in Russia (mathstodon.xyz)
		51 points by jordigh 11 months ago \| past \| 13 comments
		Claude 3.7 in Cursor is eager – sometimes a bit too eager (mathstodon.xyz)
		19 points by stared 11 months ago \| past \| 9 comments
		Custom Software Becomes Commodity (mathstodon.xyz)
		2 points by stared 11 months ago \| past
		Part two of Grant Sanderson's video with Terry Tao on the cosmic distance ladder (mathstodon.xyz)
		385 points by ColinWright 11 months ago \| past \| 94 comments
		What are Majorana zero modes? (mathstodon.xyz)
		79 points by ColinWright 11 months ago \| past \| 10 comments
		The asteroid posing the greatest threat of collision is called 2024 YR₄ (mathstodon.xyz)
		3 points by ColinWright 11 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 12 months ago \| past \| 89 comments
		Terence Tao about the balance between quantitative and qualitative thinking (mathstodon.xyz)
		3 points by bertman 12 months ago \| past
		Terence Tao: The Regime of "No Effective Dynamics" (mathstodon.xyz)
		4 points by bertman on Jan 23, 2025 \| past
		Dark patterns: It's not a real checkbox, but an SVG lookalike (mathstodon.xyz)
		1 point by ColinWright on Jan 15, 2025 \| 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
		More