Top AI researchers argue that AI is now more useful for mathematics thanks to the latest "reasoning" models, as math becomes a key way to test AI progress (Melissa Heikkilä/Financial Times)
https://giftarticle.ft.com/giftarticle/actions/redeem/8bb4a2e0-a2e7-43d1-9f03-4593abd31205
http://www.techmeme.com/260217/p5#a260217p5