Skip to content

Top Best Ask Show New Jobs

ocfnash | Better HN

ocfnash

1,664 karmaJoined January 12, 2014200 submissions

http://olivernash.org

Recent submissions

1

The Homepage of Ron Goodwin (opens in new tab)

(rongoodwin.co.uk)

4ocfnash5mo ago1

2

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

(renaissancephilanthropy.org)

2ocfnash8mo ago0

3

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

(github.com)GitHub

21ocfnash11mo ago7

4

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

(deepmind.google)

1370ocfnash1y ago525

5

Building geometry solvers for the IMO Grand Challenge (opens in new tab)

(jesse-michael-han.github.io)

2ocfnash5y ago0

6

The Unison language (opens in new tab)

(unisonweb.org)

262ocfnash6y ago141

7

Rigorous Mathematics (opens in new tab)

(xenaproject.wordpress.com)

3ocfnash6y ago0