Computational Complexity

On September 1, 2026: LANCE:  I'm surprised you haven't blogged about OpenAI solving 10 open math problems. BILL: If I post every ti...

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 Transfo...

Richard Stearns (right) and Juris Hartmanis in May 1963. The main theorem from their seminal paper is on the blackboard. Stearns sent Lance ...

Ben Brubaker has a new Quanta essay Does Computer Science Need Computers ?  Despite the title (and authors generally don't choose their ...

BILL: Lance, I have a question and a meta question: a) List all the presidents and vice presidents who were colorblind. b) Do you know this ...

There's a scene in Apollo 13 where Jim Lovell, played by Tom Hanks, asks Houston control to check his calculations, which they do using...

In the past, new PhD students would ask how they could succeed when they had to compete with the likes of say, Richard Karp or Avi Wigderson...

Lance has posted about his, and around 160 others, being laid off from IIT  here .(IIT stands for Illinois Institute of Technology which is ...