Looks similar
Related stories
Monte-Carlo Simulations(eli.thegreenplace.net)
154 points by ibobev | 35 comments
Eli Bendersky blog post explaining Monte Carlo simulations with examples like estimating pi by throwing darts, using Rust and Python.
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.
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.
The highest quality codebase(gricha.dev)
603 points by Gricha | 371 comments
Blog post by Greg Pstrucha describing an experiment in which Claude repeatedly reworked an app's codebase to make it the "highest quality", and what happened.
Why Math Dumped OpenAI(raymyers.org)
11 points by xeonmc | 0 comments
A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.
Once Claude can measure something, it can make it faster(claude.dev)
179 points by matthieu_bl | 113 comments
Engineering blog post from Anthropic's Claude team describing how they made claude.ai three times faster in two weeks by having Claude measure and optimize performance.











