ocfnash

Karma: 1,657
Created: 11 years ago

About

http://olivernash.org

Recent Submissions

1. ▲ Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics (renaissancephilanthropy.org) 2 points · 2 months ago · 0 comments
2. ▲ OpenAI claiming gold medal standard at IMO 2025 (github.com) 21 points · 5 months ago · 7 comments
3. ▲ 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