YouTube video by Luaka Bop

Recently, my coworkers and I put out a preprint “Classical solution of the FeMo-cofactor model to chemical accuracy and its implications’’ (Zhai et al. 2026). It is a bit unusual to write comm…

An online platform removed 257 papers written or co-written by the University of Chicago’s Nicholas Polson after other academics raised questions.

ALT: The Simpsons: Homer Simpsons 'The End Is Near'

A post about RSA-896.

Quantum computers are technologically novel and unusual, but at system scale they should be engineered using many of the same principles that govern classical heterogeneous accelerators. This paper ar...

@tristanbuckmaster@mastodon.social 1/3 I want to record a number of points that I realized after reading up on the controversy. In fact it recalls an exchange I had with OpenAI after its non-sofic-g...

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

I guess technically it was revealed to the world by a coffee shop in Islington on Insta, but an hour later it was officially announced by Anthropic: one of their internal models, using the prove2.m…

YouTube video by Alvaro Lozano-Robledo