ocfnash

Karma: 1,664
Created: 12 years ago

About

http://olivernash.org

Recent Submissions

1. ▲ The Homepage of Ron Goodwin (rongoodwin.co.uk) 4 points · 1 month ago · 1 comment
2. ▲ Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics (renaissancephilanthropy.org) 2 points · 4 months ago · 0 comments
3. ▲ OpenAI claiming gold medal standard at IMO 2025 (github.com) 21 points · 7 months ago · 7 comments
4. ▲ AI solves International Math Olympiad problems at silver medal level (deepmind.google) 1370 points · 1 year ago · 525 comments

All submissions on HN · View profile on HN