Hacker News new | ask | show | jobs
by peteyreplies 336 days ago
To be clear, AIs didn't beat IMO, or the best human competitors at IMO, on these terms.