Mathematicians Question AI Performance at International Math Olympiad

AI models supposedly did well on International Math Olympiad problems, but how they got their answers reminds us why we still need people doing math