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!
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 an AI.
Throughout this post I use the term AI to mean an AI system that produces mathematical results. I decline to say OpenAI or Anthropic as generic terms since about 20 years ago I used Intrade as a g...
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 complexity classes?
Let's consider an example, Lautemann's proof that BPP is in \(\Sigma^p_2\). It's a beautiful proof because it comes down to a single formula. I gave the full proof in a
Lance blogged on the OpenAI solutions to many problems here and also created a website of the TCS-related problems OpenAI claims to have solved here....
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 372 major open problems in mathematics including from theoretical computer science:
(This was written about 9 months ago. Its not out of date... yet)
People think that AI is going to DESTROY some job and CREATE some jobs. It may be to early to tell if this is true. Even so, here are some thoughts.
1) Who will win? Who will lose?
2) Historically in the long term society was better off after a tech change (e.g., we live...