Outsourcer tells MPs AI is prioritizing cases as thousands of civil servants face delays Capita is banking on Microsoft ...

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.

Experts gave AI 10 math problems to solve in a week. OpenAI, researchers and amateurs all gave it their best shot ...

Henry Yuen is developing a new mathematical language to describe problems whose inputs and outputs aren’t ordinary numbers.

LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test ...

For the first time in Cougar history, Brigham Young University students competed in the Massachusetts Institute of Technology's annual quantum hackathon from Jan. 30 to Feb. 1 — and won.

The team used an AI method known as equation discovery to develop a model to simulate the interactions between small eddies—circular, vortex-like currents—and large-scale ones. These interactions are ...