Top AI models excel at math problems but lack reasoning needed for Math Olympiad proofs. The new research paper, titled "Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad," comes from a team of researchers at ETH Zurich and INSAIT at Sofia University led by doctoral student Ivo Petrov and Professor Martin Vechev.

Duolingo, co-founded by ETH alumnus Severin Hacker, plans to replace certain human workers with artificial intelligence (AI).  According to the CEO Luis von Ahn, some processes will have to be completely rethought or systems redesigned from scratch. Read article in German.