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

Large language models (LLMs) have astounded the world with their capabilities, yet they remain plagued by unpredictability and hallucinations – confidently outputting incorrect information. In ...

The big AI companies promised us that 2025 would be “the year of the AI agents.” It turned out to be the year of talking ...

Want smarter insights in your inbox? Sign up for our weekly newsletters to get only what matters to enterprise AI, data, and security leaders. Subscribe Now Google DeepMind announced Monday that an ...

At the 2024 International Mathematical Olympiad (IMO), one competitor did so well that it would have been awarded the Silver Prize, except for one thing: it was an AI system. This was the first time ...

Alphabet Inc.’s Google DeepMind unit today detailed AlphaEvolve, an artificial intelligence agent that can tackle complex programming and math challenges. The company says that it has used AlphaEvolve ...

Artificial intelligence systems have made breakthrough after breakthrough mastering chess, in which games typically last about 40 moves. Now, to help solve the world’s toughest math problems, ...

While artificial intelligence has made remarkable gains in mathematics, its well-chronicled shortcomings in the subject continue to frustrate those keen on finding new ways to help kids learn. “Big ...

Complex math hasn't always been AI's strongest suit, but the technology showcased its progress at one of the world's premiere competitions, said Cade Metz in The New York Times. A Google Deep-Mind ...

On Saturday, OpenAI researcher Alexander Wei announced that a new AI language model the company is researching has achieved gold medal-level performance on the International Mathematical Olympiad (IMO ...

In April 2025, Microsoft CEO Satya Nadella said that about 30% of the company's code is already being written by AI. That means parts of applications are created by AI but not entire commercial ...

GenAI may be accelerating a developmental transition in how learners conceptualize programming itself.