Mathematics, birds, frogs and the AI stork

UPDATE 31.05.2026: I publish this again, after it was reverted to draft, because there are interesting comments to the recent post at Shtetl-Optimized, as well as more news after the one discussed here. There is much excitement about the Open AI model who disproved an old conjecture in combinatorics. This comes after several similar advances Continue reading Mathematics, birds, frogs and the AI…