A new benchmark pitting AI against previously unseen maths problems shows systems still fall short of top human expertise.

The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got ...

Researchers gave top AI models a classic attention test used in psychology and found a major flaw. While the models could ...

Richard Feynman could turn almost anything into physics and math. Even lunch. One day in the late 1970s, the Nobel ...

Vivek Natarajan is using AI to help doctors and scientists chase new cures, inspired by his father's battle with Parkinson's ...