From high school math modeling challenges to formal theorem-proving competitions, large language models (LLMs) are stepping into the competitive math arena. New datasets, benchmarks, and governance ...
OpenAI's latest model solved five out of six problems on the International Math Olympiad exam. OpenAI CEO Sam Altman called it "a significant marker of how far AI has come over the past decade." AI ...