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...
davidbessis.substack.com
How AI could destroy mathematics and barely touch it
