Get the latest tech news
OpenAI and Google outdo the mathletes, but not each other
OpenAI and Google's AI models achieved impressive results in a difficult math competition, but disputed how the other got their score.
Last year, Google scored a silver medal at IMO using a “formal” system, meaning it required humans to translate problems into a machine‑readable format. In interviews with TechCrunch, researchers behind OpenAI and Google’s IMO efforts claimed that these gold medal performances represent breakthroughs around AI reasoning models in non-verifiable domains. Countries from around the world sent their brightest students to compete at IMO this year, and just a few percent of them scored as well as OpenAI and Google’s AI models did.
Or read this on TechCrunch
