AI at IMO 2025: a round-up
xenaproject.wordpress.com·1d·
Discuss: Hacker News
AMI not AGI?
languagelog.ldc.upenn.edu·1d