International Math Olympiad 2025 Problems: How Well Will AI Do?sugaku.net5 pointsmauriziocaloa year ago