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.
Screenshot pending…
Related stories
OpenAI just dropped 700 preprints of mathematical proofs and counterexamples(github.com)
20 points by tootie | 6 comments
GitHub directory in OpenAI's math repository containing hundreds of preprints of mathematical proofs and counterexamples.
Notes on OpenAI's new o1 chain-of-thought models(simonwillison.net)
641 points by loganfrederick | 566 comments
Simon Willison's blog post with notes on OpenAI's o1-preview and o1-mini models, covering chain-of-thought training, API details, hidden reasoning tokens and examples.
I don't like NumPy(dynomight.net)
399 points by MinimalAction | 164 comments
A Dynomight blog essay critiquing NumPy's design, arguing its array broadcasting and indexing make complex computations confusing.
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 Eternal Sloptember(geohot.github.io)
347 points by razin | 280 comments
A blog post by George Hotz arguing that adopting AI coding agents in software development is a costly mistake because their output is subtly broken.