| user: | ocfnash |
| created: | January 12, 2014 |
| karma: | 1.7k |
| about: | http://olivernash.org |
| 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) |