“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...

Adding one irrelevant sentence to math problems causes AI systems to make confident mistakes over 300 percent more.

Baidu's ERNIE-5.0-0110 ranks #8 globally on LMArena, becoming the only Chinese model in the top 10 while outperforming ...

Alphabet's (NASDAQ:GOOG) (NASDAQ:GOOGL) Google said its AI model won gold medal at a global mathematics competition, while Microsoft (NASDAQ:MSFT)-backed OpenAI also claimed that its experimental ...

Mathematical superintelligence startup Harmonic AI Inc. revealed today that NVentures, the venture capital arm of Nvidia Corp., was among the investors in its $120 million Series C round that was ...

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 ...

Mathematics-focused artificial intelligence startup Axiom Quant Inc. stepped out from the shadows today to announce it has raised $64 million in a funding round that values it at $300 million. The ...

Nvidia (NVDA) continues to invest in artificial intelligence startups, with the latest being Harmonic, which develops models ...

HONG KONG, July 11, 2025 (EZ Newswire) -- Math Magic has officially launched Hitem3D, opens new tab, the world’s first AI-powered tool for 3D content creation that supports ultra-high-resolution ...

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 ...

Talia Ringer is in the Siebel School of Computing and Data Science, University of Illinois at Urbana–Champaign, Urbana, Illinois, 61801, USA. Read the paper: Olympiad-level formal mathematical ...