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

What if a machine could think as deeply as a human mathematician, solving problems so intricate they stump even the brightest minds? Enter Gemini Deep Think, an advanced AI model that has not only ...

Penn researchers have developed a smarter AI method for solving notoriously difficult inverse equations, which help scientists uncover hidden causes behind observable effects. By introducing ...

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

GENEVA, SWITZERLAND - APRIL 19: A detailed view of the blackboard with theoretical physics equations in chalk by Alberto Ramos, Theoretical Physics Fellow and visitor, Antonio Gonzalez-Arroyo from the ...

What’s the best way to bring your AI agent ideas to life: a sleek, no-code platform or the raw power of a programming language? It’s a question that sparks debate among developers, entrepreneurs, and ...

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

A study of 67 AI models finds enterprises underestimate multi-model failure rates by 2.25x, and offers a free test to check ...

Artificial intelligence (AI) is reshaping work—especially in technical and knowledge-intensive fields—by automating routine tasks and increasing the value of quantitative reasoning and systems ...