3 ms·
He also had some interesting things to say about these IMO results: https://mathstodon.xyz/@tao/114881418225852441 https://mathstodon.xyz/@tao/11488141822585244
by j2kun 1y ago
He also had some interesting things to say about these IMO results: https://mathstodon.xyz/@tao/114881418225852441 https://mathstodon.xyz/@tao/114881418225852441