Syukurlah bahwa beberapa LLM dapat memenangkan emas di IMO. Bahkan pada pertanyaan analisis fungsional dasar (seperti dekomposisi subruang), o3 memberikan pertanyaan yang salah yang tidak dapat diperbaiki. Tapi saya optimis bahwa dalam 1-2 tahun akan jauh lebih baik.