Using GPT-6 and Opus 5.5 to trace alchemical knowledge and decode 17th century letters

[This is a guest post by Grant Sanderson. This blog post was initially written in a different file format and converted using AI. — T.] A sentiment echoing throughout the mathematics communit…

I am proud to be among the list of 25 initial signatories — all Fields Medallists — to the declaration below, which grew out of discussions between ourselves over the last week. We have…

An online movement say that the sensors on traffic lights can cause heart attacks, brain cancer, anxiety and even sudden death

I was working on this week's post on Lean after reading Kevin Hartnett's book  The Proof in the Code: How a Truth Machine Is Transforming Ma...

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…

We build a computer inside a transformer — executing arbitrary C programs for millions of steps with exponentially faster inference via 2D attention heads.