Thursday, October 15, 2026

Complexity and Lean

›
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...
7 comments:
Sunday, October 11, 2026

Conjectures that I thought would not be proved in my lifetime....were

›
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...
16 comments:
Wednesday, October 07, 2026

Open No More

›
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 ...
39 comments:
Sunday, October 04, 2026

How many humans does it take to make tech seem human? Do you want to be one of them?

›
  (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...
6 comments:
Wednesday, September 30, 2026

Does Programming Help You Understand Complexity?

›
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 ...
3 comments:
Sunday, September 27, 2026

What is the point of AI-disclosure?

›
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...
29 comments:
Wednesday, September 23, 2026

The New STOC Rules for the AI Era

›
The 59th ACM Symposium on the Theory of Computing takes place in Atlanta next June, part of the Federated Computing Research Conference . I...
20 comments:
Sunday, September 20, 2026

I don't care about majors, minors, or honors programs. Do you?

›
The following conversation is fictional. --------------------------- ALICE: (Looking over a student's record.) Hmm, let's see. She w...
13 comments: