Please turn JavaScript on
computationalcomplexity icon

computationalcomplexity

Subscribe to Computationalcomplexity’s news feed.

Click on “Follow” and decide if you want to get news from Computationalcomplexity via RSS, as email newsletter, via mobile or on your personal news page.

Subscription to Computationalcomplexity comes without risk as you can unsubscribe instantly at any time.

You can also filter the feed to your needs via topics and keywords so that you only receive the news from Computationalcomplexity which you are really interested in. Click on the blue “Filter” button below to get started.

Title: Computationalcomplexity

Is this your feed? Claim it!

Publisher:  Unclaimed!
Message frequency:  0.24 / day

Message History

ITMS 2026
T...

Read full story

On September 1, 2026:

LANCE:  I'm surprised you haven't blogged about OpenAI solving 10 open math problems.

BILL: If I post every time an open math problem is solved by AI I won't ever post about anything else.

I'll wait until AI does something really impressive.

LANCE: How impressive does the theorem have to be?

BILL: I'll post about AI doing ma...


Read full story

I was working on this week's post on Lean after reading Kevin Hartnett's book The Proof in the Code...


Read full story
Richard Stearns (right) a...

Read full story

Ben Brubaker has a new Quanta essay Does Computer Science Need Computers

Despite the title (and authors generally don't choose their titles), Brubaker's essay really addresses the question as to whether computer science is about compu...


Read full story