Joseph Myers
@polyomino.org.uk
Recreational mathematician and GNU toolchain developer. Main social media presence is https://mathstodon.xyz/@jsm28
My comments on reported AI attempts at the International Mathematical Olympiad 2025: mathstodon.xyz/@jsm28/11489...
Joseph Myers (@jsm28@mathstodon.xyz)
I have received media requests for comments on AI attempts at the International Mathematical Olympiad 2025. This thread provides some of my thoughts in this area. Because I have not reviewed any of th...
mathstodon.xyz
July 22, 2025 at 10:20 AM
My comments on reported AI attempts at the International Mathematical Olympiad 2025: mathstodon.xyz/@jsm28/11489...