Submissions from mathstodon.xyz

		“Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
		587 points by cod1r 22 hours ago \| past \| 331 comments
		Erdos Problem #728 Solved (Mostly) Autonomously by AI (mathstodon.xyz)
		4 points by pfdietz 1 day ago \| past \| discuss
		The application of AI tools to Erdos problems passes a milestone (mathstodon.xyz)
		1 point by ColinWright 3 days ago \| past \| discuss
		Erdos problems solved more or less autonomously by AI (mathstodon.xyz)
		3 points by gmays 7 days ago \| past \| discuss
		AI tools are becoming capable enough to pick off open Erdos problem (mathstodon.xyz)
		4 points by olalonde 9 days ago \| past \| discuss
		I doubt that anything resembling genuine AGI is within reach of current AI tools (mathstodon.xyz)
		140 points by gmays 20 days ago \| past \| 114 comments
		Artificial General Cleverness (mathstodon.xyz)
		4 points by bigdict 25 days ago \| past
		Terence Tao: Cleverness versus Intelligence in AI Tools and Humans (mathstodon.xyz)
		4 points by bertman 26 days ago \| past
		Apple Maps claims it's 29,905 miles away (mathstodon.xyz)
		156 points by ColinWright 27 days ago \| past \| 145 comments
		Intelligence is too high-dimensional for any low-dimensional narrative (mathstodon.xyz)
		6 points by gmays 42 days ago \| past \| 1 comment
		Tao: Intelligence is too high-dimensional for accurate low-dimensional narrative (mathstodon.xyz)
		3 points by bertman 44 days ago \| past \| 1 comment
		Terence Tao: At the Erdos problem website, AI assistance now becoming routine (mathstodon.xyz)
		311 points by dwohnitmok 49 days ago \| past \| 90 comments
		The third AI Math Olympiad Progress Prize has now launched (mathstodon.xyz)
		1 point by riffraff 50 days ago \| past
		Terrence Taos recent posts on AI, automated proof (mathstodon.xyz)
		3 points by webnrrd2k 78 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 80 days ago \| past \| 1 comment
		John Carlos Baez: An Introduction to the Standard Model (mathstodon.xyz)
		3 points by ColinWright 80 days ago \| past \| 1 comment
		Asking Claude how many "n"s are in the word "banana" ... thread. (mathstodon.xyz)
		3 points by ColinWright 3 months ago \| past \| 1 comment
		Wigner's Friend Thought Experiment (mathstodon.xyz)
		1 point by 2ro 3 months ago \| past
		Terence Tao on non-monotonicity in research (mathstodon.xyz)
		2 points by baruchel 3 months ago \| past
		Terence Tao on Crowdsourced Effort (mathstodon.xyz)
		3 points by baruchel 3 months ago \| past
		Terence Tao:"An extended AI chat helped me answer a MathOverflow question" (mathstodon.xyz)
		7 points by alexcos 3 months ago \| past \| 1 comment
		A working QR code in the style of Piet Mondrian (mathstodon.xyz)
		11 points by wolfgang42 3 months ago \| past
		Terence Tao: The role of small organizations in society has shrunk significantly (mathstodon.xyz)
		1060 points by bertman 3 months ago \| past \| 565 comments
		Everyone on LinkedIn: Make sure to turn this off (mathstodon.xyz)
		6 points by ColinWright 3 months ago \| past \| 2 comments
		Examples of how to incorporate images into QR codes so they are still scannable (mathstodon.xyz)
		1 point by sohkamyung 4 months ago \| past
		Terence Tao on the suspension of UCLA grants (mathstodon.xyz)
		280 points by dargscisyhp 5 months ago \| past \| 305 comments
		John Carlos Baez: Here's a consequence of Newton's law of gravity (mathstodon.xyz)
		3 points by ColinWright 5 months ago \| past \| 1 comment
		Tao on “blue team” vs. “red team” LLMs (mathstodon.xyz)
		542 points by qsort 5 months ago \| past \| 171 comments
		AI attempts at the International Mathematical Olympiad 2025 (mathstodon.xyz)
		1 point by robinhouston 5 months ago \| past
		Terence Tao: Applying Red Team / Blue Team Duality to AI Workflows (mathstodon.xyz)
		2 points by bertman 5 months ago \| past
		More