Feynman’s Maze-Running Story(gwern.net)
184 points by telotortium | 42 comments
First screen, captured .
Looks similar
Wirth's Revenge(jmoiron.net)
167 points by signa11 | 74 comments
The Best of Orion's Arm(borretti.me)
27 points by akkartik | 6 comments
Typechecker Zoo(sdiehl.github.io)
161 points by todsacerdoti | 24 comments
Related stories
Human mathematicians are being outcounterexampled(xenaproject.wordpress.com)
456 points by artninja1988 | 225 comments
A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.
Refusing to teach kids math will not improve equity(noahpinion.blog)
526 points by bankershill | 485 comments
Noah Smith's Noahpinion essay arguing that eliminating or delaying advanced math instruction in public schools will not improve educational equity.
Why your local LLM feels dumber than it is(forum.level1techs.com)
417 points by felineflock | 171 comments
A Level1Techs forum post presenting technical experiments on how quantization and implementation differences make locally run LLMs perform worse than reference versions.
The Mathocalypse(scottaaronson.blog)
361 points by 6bitquant | 380 comments
Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.
We're gonna need a lot more mathematicians(terrytao.wordpress.com)
358 points by srcreigh | 461 comments
Guest post by Amit Sahai on Terence Tao's blog arguing that the world will need many more mathematicians, reflecting on students who left math due to pace.
I know why the mathematicians weep(derekthompson.org)
342 points by RickJWagner | 561 comments
Derek Thompson essay on his Substack about technological grief, using mathematicians' reactions to AI advances as a lens.