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

A dribble and a jump shot, followed by a fractions task. That is what physical education classes looked like for a group of pupils, and the pupils not only found the lessons more engaging than ...

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to ...

The power of Python trumps Excel workbooks.

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the ...

A group of researchers have proposed rules to prevent artificial intelligence from overpowering humans in math ...

Zach began writing for CNET in November, 2021 after writing for a broadcast news station in his hometown, Cincinnati, for five years. You can usually find him reading and drinking coffee or watching a ...

Nothing rivals the human brain's complexity. Its 86 billion neurons and 85 billion other cells make an estimated 100 trillion connections. If the brain were a computer, it would perform an exaflop (a ...

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

The tipping point came in the summer of 2025. That July, several artificial intelligence models solved five out of six problems at the International Mathematical Olympiad, an annual challenge for some ...

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company hopes. Axiom Math, a startup based in Palo Alto, California, has released a ...