Skip to content

Top New Best Ask Show Jobs

ocfnash

1,664 karmaJoined January 12, 2014199 submissions

http://olivernash.org

ocfnash | Better HN

Recent submissions

1

The Homepage of Ron Goodwin (opens in new tab)

(rongoodwin.co.uk)

4ocfnash2mo ago1

2

Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics (opens in new tab)

(renaissancephilanthropy.org)

2ocfnash5mo ago0

3

OpenAI claiming gold medal standard at IMO 2025 (opens in new tab)

(github.com)

21ocfnash8mo ago7

4

AI solves International Math Olympiad problems at silver medal level (opens in new tab)

(deepmind.google)

1370ocfnash1y ago525