Y Hacker News new | ask | show | jobs

user: ocfnash created: 2014-01-12 karma: 1664 http://olivernash.org submissions: 0 points | 0 comments The Homepage of Ron Goodwin 4 points | 1 comments 0 points | 0 comments Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments OpenAI claiming gold medal standard at IMO 2025 21 points | 7 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments AI solves International Math Olympiad problems at silver medal level 1370 points | 525 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments