Submissions from mathstodon.xyz

		“Math 2.0” will need to value mathematical progress more holistically (mathstodon.xyz/tao)
		608 points by ent101 2 days ago \| past \| 642 comments
		"For my birthday, my brother-in-law gave me a 4992-digit hex number" (mathstodon.xyz/robinhouston)
		4 points by pavel_lishin 11 days ago \| past \| discuss
		The Void Spiral: How to Avoid the Void (mathstodon.xyz/isaacg)
		1 point by rapnie 26 days ago \| past
		All grown-ups were once children (mathstodon.xyz/tao)
		4 points by joebig 29 days ago \| past \| 2 comments
		In this era of AI, it is important to remember what it is like to be a child (mathstodon.xyz/tao)
		4 points by o4c 29 days ago \| past
		More questions about whether researchers can trust OpenAI with unpublished math (mathstodon.xyz/andreasthom)
		868 points by pred_ 30 days ago \| past \| 817 comments
		All grown-ups were once children, but only few of them remember it (mathstodon.xyz/tao)
		273 points by yurivish 30 days ago \| past \| 237 comments
		Tao: Open math problems being non-renewably mined by AI (mathstodon.xyz/tao)
		495 points by _alternator_ 31 days ago \| past \| 420 comments
		Terence Tao on Breakthrough in finite-time blowups for 3D incompressible Euler (mathstodon.xyz/tao)
		5 points by haxiomic 31 days ago \| past
		By coincidence an independent result on Euler blowup has been released (mathstodon.xyz/tao)
		2 points by YeGoblynQueenne 31 days ago \| past
		Terrence Tao – AI math solutions hurting the field (mathstodon.xyz/tao)
		4 points by danielmorozoff 32 days ago \| past
		Terence Tao on "Solving Maths Problems Prematurely with AI Methods (mathstodon.xyz/tao)
		3 points by birdculture 33 days ago \| past
		Terence Tao on the Navier-Stokes Equations (mathstodon.xyz/tao)
		7 points by aaraujo002 34 days ago \| past
		Terence Tao: Protecting math problems from automated solvers (mathstodon.xyz/tao)
		4 points by bertman 37 days ago \| past
		The advent of capable AI tools has highighted a variant of Simpson's paradox (mathstodon.xyz/tao)
		2 points by ColinWright 43 days ago \| past
		It's not the end of programming (mathstodon.xyz/abuseofnotation)
		49 points by boris_m 44 days ago \| past \| 89 comments
		Copyright does not protect AI-generated content in EU (mathstodon.xyz/maxpool)
		190 points by u1hcw9nx 50 days ago \| past \| 212 comments
		John Carlos Baez: How many Erdős problems will be solved by the end of the year? (mathstodon.xyz/johncarlosbaez)
		3 points by ColinWright 54 days ago \| past
		Terence Tao creates his first meme (mathstodon.xyz/tao)
		6 points by u1hcw9nx 59 days ago \| past
		One of my papers got declined today by the journal I submitted it to (2024) (mathstodon.xyz/tao)
		4 points by paulpauper 73 days ago \| past
		Since Linux 6.9, LUKS suspend stopped wiping disk-encryption keys from memory (mathstodon.xyz/iblech)
		539 points by IngoBlechschmid 3 months ago \| past \| 226 comments
		The primary purpose of code review is to find code that will be hard to maintain (mathstodon.xyz/mjd)
		379 points by ColinWright 3 months ago \| past \| 177 comments
		LUKS suspend failed to wipe volume encryption key from memory since Linux 6.9 (mathstodon.xyz/iblech)
		3 points by microtonal 3 months ago \| past
		Terence Tao: My recollections on the early history of compressed sensing (mathstodon.xyz/tao)
		8 points by johnbarron 4 months ago \| past \| 2 comments
		Mikan: a proof assistant for cubical type theory (forked from Agda) (mathstodon.xyz/jonmsterling)
		2 points by baruchel 5 months ago \| past
		John Carlos Baez: "Learning from Nature with System Dynamics" (mathstodon.xyz/johncarlosbaez)
		2 points by _Microft 5 months ago \| past
		Impact of AI on the practice of math analogous to cars on evolution of cities (mathstodon.xyz/tao)
		2 points by ColinWright 6 months ago \| past
		AI's impact on mathematics is analogous to the car's impact on cities (mathstodon.xyz/tao)
		4 points by birdculture 6 months ago \| past
		The ArXiv is separating from Cornell University, and is hiring a CEO (mathstodon.xyz/johncarlosbaez)
		5 points by mellosouls 6 months ago \| past
		The ArXiv is separating from Cornell University, and is hiring a CEO for 300k/yr (mathstodon.xyz/johncarlosbaez)
		6 points by binsquare 6 months ago \| past \| 2 comments
		More