Re OpenAI's disproof of an Erdos conjecture and the breathless coverage, I found this piece from April insightful about how mathematicians will likely need to adjust what they explicitly vs implicitly value.
davidbessis.substack.com/p/the-fall-o...
YOU’RE LISTENING TO SISYPHUS FM, THE HOME OF NON-STOP ROCK