azsantosk comments on I bet $500 on AI winning the IMO gold medal by 2026

azsantosk 26 Jul 2024 16:56 UTC
4 points
0
Update: “AI achieves silver-medal standard solving International Mathematical Olympiad problems”.
It now seems very likely I’m going to win this bet.