Computational Complexity

In fall of 1985 when I started graduate school, my advisor Michael Sipser asked me to read an early handwritten manuscript by Johan Håstad o...

So what to make of OpenAI and the future of Math? Here are some points I've either: thought of myself or heard from a human or read from...

In the OpenAI Math Drop some papers have Lean proofs, others don't, including L = RL = BPL. Why is it hard to formalize results on compl...

Lance blogged on the OpenAI solutions to many problems  here  and also created a website of the TCS-related problems OpenAI claims to have s...

I wrote the post below last week. That was a quaint and quiet time. Last night OpenAI released a treasure trove of 722 manuscripts solving ...

  (This was written about 9 months ago.  Its not out of date... yet) People think that AI is going to DESTROY some jobs and CREATE some jobs...

I got the following question in an email. My nephew is currently in high school in China and has developed a strong interest in computer ...

The STOC conference (and likely others) are requiring that a submission says how much AI was used. I can imagine the following options: 1) A...