user: ocfnash
1664 karma | created 12 years ago
recent submissions
The Homepage of Ron Goodwin
(rongoodwin.co.uk)
4 pts|1 month ago|1 comment
2 months ago|discuss
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
(renaissancephilanthropy.org)
2 pts|5 months ago|discuss
6 months ago|discuss
6 months ago|discuss
7 months ago|discuss
OpenAI claiming gold medal standard at IMO 2025
(github.com)
21 pts|7 months ago|7 comments
8 months ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
AI solves International Math Olympiad problems at silver medal level
(deepmind.google)
1370 pts|1 year ago|525 comments
1 year ago|discuss
1 year ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss