Submissions from mathstodon.xyz

		Terrence Taos recent posts on AI, automated proof (mathstodon.xyz)
		3 points by webnrrd2k 5 days ago \| past \| 1 comment
		Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (mathstodon.xyz)
		5 points by mathfan 8 days ago \| past \| 1 comment
		John Carlos Baez: An Introduction to the Standard Model (mathstodon.xyz)
		3 points by ColinWright 8 days ago \| past \| 1 comment
		Asking Claude how many "n"s are in the word "banana" ... thread. (mathstodon.xyz)
		3 points by ColinWright 19 days ago \| past \| 1 comment
		Wigner's Friend Thought Experiment (mathstodon.xyz)
		1 point by 2ro 20 days ago \| past
		Terence Tao on non-monotonicity in research (mathstodon.xyz)
		2 points by baruchel 23 days ago \| past
		Terence Tao on Crowdsourced Effort (mathstodon.xyz)
		3 points by baruchel 24 days ago \| past
		Terence Tao:"An extended AI chat helped me answer a MathOverflow question" (mathstodon.xyz)
		7 points by alexcos 27 days ago \| past \| 1 comment
		A working QR code in the style of Piet Mondrian (mathstodon.xyz)
		11 points by wolfgang42 29 days ago \| past
		Terence Tao: The role of small organizations in society has shrunk significantly (mathstodon.xyz)
		1060 points by bertman 35 days ago \| past \| 565 comments
		Everyone on LinkedIn: Make sure to turn this off (mathstodon.xyz)
		6 points by ColinWright 38 days ago \| past \| 2 comments
		Examples of how to incorporate images into QR codes so they are still scannable (mathstodon.xyz)
		1 point by sohkamyung 76 days ago \| past
		Terence Tao on the suspension of UCLA grants (mathstodon.xyz)
		280 points by dargscisyhp 89 days ago \| past \| 305 comments
		John Carlos Baez: Here's a consequence of Newton's law of gravity (mathstodon.xyz)
		3 points by ColinWright 3 months ago \| past \| 1 comment
		Tao on “blue team” vs. “red team” LLMs (mathstodon.xyz)
		542 points by qsort 3 months ago \| past \| 171 comments
		AI attempts at the International Mathematical Olympiad 2025 (mathstodon.xyz)
		1 point by robinhouston 3 months ago \| past
		Terence Tao: Applying Red Team / Blue Team Duality to AI Workflows (mathstodon.xyz)
		2 points by bertman 3 months ago \| past
		Quantitative AI progress needs accurate and transparent evaluation (mathstodon.xyz)
		209 points by bertman 3 months ago \| past \| 104 comments
		A human metaphor for evaluating AI capability (mathstodon.xyz)
		155 points by bertman 3 months ago \| past \| 31 comments
		Terence Tao: Game theory, politics and control of information (mathstodon.xyz)
		59 points by bertman 3 months ago \| past \| 13 comments
		Terence Tao: DeepMind's open repository of formalized mathematics conjectures (mathstodon.xyz)
		3 points by joak 5 months ago \| past \| 1 comment
		Terence Tao on the importance of funding basic mathematical research (mathstodon.xyz)
		5 points by bertman 5 months ago \| past \| 1 comment
		Terence Tao: Using modern tools to semi-automatically formalize a proof in Lean (mathstodon.xyz)
		1 point by ColinWright 5 months ago \| past
		Bluesky trusts the client app to fetch, and honestly report, webpage metadata (mathstodon.xyz)
		6 points by ColinWright 6 months ago \| past \| 1 comment
		Deconstructions of the Jigsaw Puzzles (mathstodon.xyz)
		1 point by ColinWright 6 months ago \| past
		Terence Tao: A short text about when to consider using an AI for a task (mathstodon.xyz)
		6 points by ColinWright 7 months ago \| past
		I Saw Democracy Die in Russia (mathstodon.xyz)
		51 points by jordigh 8 months ago \| past \| 13 comments
		Claude 3.7 in Cursor is eager – sometimes a bit too eager (mathstodon.xyz)
		19 points by stared 8 months ago \| past \| 9 comments
		Custom Software Becomes Commodity (mathstodon.xyz)
		2 points by stared 8 months ago \| past
		Part two of Grant Sanderson's video with Terry Tao on the cosmic distance ladder (mathstodon.xyz)
		385 points by ColinWright 8 months ago \| past \| 94 comments
		More