The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.

A marriage of formal methods and LLMs seeks to harness the strengths of both.

New Delhi [India], Februay 6: For a long time, parents considered Olympiad exams as "extra exams." However, it's not the same anymore. Currently, they are playing an important role in helping students ...

A Chinese AI system has outperformed its US competitors in solving geometry problems at the International Mathematical Olympiad (IMO) level, taking less than half the time and using simpler ...

DeepSeek, the artificial intelligence start up based in Hangzhou, has become the first company to release an open-source AI model that reaches gold medal level performance in the International ...

DeepSeek has made widely available its Math-V2 model, which was open-sourced on developer platforms Hugging Face and GitHub, under a permissive licence that allows users to repurpose the model. Held ...

While 630 young math prodigies were sitting in a conference room on Australia’s sunshine coast, readying their pencils for the International Math Olympiad, a potential rival was still en route from ...

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

SEOUL, South Korea, Sept. 21, 2025 /PRNewswire/ -- Eye Level is hosting the 2025 Math Olympiad (ELMO 2025), inviting elementary and middle school students (grades 1 to 9) from around the world to ...

A defining memory from my senior year of high school was a nine-hour math exam with just six questions. Six of the top scorers won slots on the U.S. team for the International Math Olympiad (IMO), the ...

A defining memory from my senior year of high school was a nine-hour math exam with just six questions. Six of the top scorers won slots on the U.S. team for the International Math Olympiad (IMO), the ...