Disarming the AI Bomb

It's been about a month since the OpenAI drop. Many people have been asking, how should mathematics look in the future? I wanted to offer my take. First, let me tell you what was the reaction I saw to the OpenAI drop. Not the initial upset, shock, or excitement that rippled through the community. But what came afterwards. Nobody picked up their stuff and left, but most people I've talked to (inside and outside of set theory, that was relatively unscathed by that drop) are not particularly in a rush to read those papers. Instead, people are annoyed by the action, and there are debates on whether or not we need to decipher what's in those pdf files and lean proofs, or if we need to just move on, etc. Continue reading...

Commenting on Bubbles has been removed. Why? If you want to talk about this post, write to the author, use the comments on their blog if it has them, or reply with a "RE:" post on your own blog. Suggestions? feedback@bubbles.town