ocfnash
- Karma
- 1,664
- Created
- 12 years ago
About
http://olivernash.orgRecent Submissions
- 1. ▲ The Homepage of Ron Goodwin (rongoodwin.co.uk)
- 2. ▲ Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics (renaissancephilanthropy.org)
- 3. ▲ OpenAI claiming gold medal standard at IMO 2025 (github.com)
- 4. ▲ AI solves International Math Olympiad problems at silver medal level (deepmind.google)