Field's Medal winner. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		antonioevans on Oct 27, 2023 \| parent \| context \| favorite \| on: Lean4 helped Terence Tao discover a small bug in h... Field's Medal winner.

sriram_sun on Oct 28, 2023 [–]

nit: Fields Medal (no apostrophe).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact