Viewing profile — peteyreplies
peteyreplies
HN member- Joined
- Mon, Mar 28, 2022, 5:58 PM UTC
- HN karma
- 4
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About peteyreplies
working, teaching, other stuff @ MIT; opinions are my actor-network's
Recent public activity
-
comment
Comment #44628564
iirc, the IMO system automatically translates the questions into 50 languages, after they are entered in English.
-
comment
Comment #44628555
To be clear, AIs didn't beat IMO, or the best human competitors at IMO, on these terms.
-
comment
Comment #30833490
thanks!