A Chinese artificial intelligence system has solved a decade-old problem proposed by an American mathematician, according to ...

Remember that math problem from 2014? A Chinese AI tool cracked it ...

A research team based in China says its artificial intelligence system has done something no AI has publicly done before: independently solved an open problem in pure mathematics that had stumped ...

The researchers explained that the AI analysed decades of existing mathematical literature and combined natural language reasoning with formal machine verification.

Research team led by Peking University says dual-agent approach bridges the gap between reasoning and formal machine ...

A new model suggests the universe could tear itself apart as expansion accelerates, with quantum effects potentially driving ...

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...

A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...

The National Council of Teachers of Mathematics makes the argument that teachers, principals, and district leaders must “stay ...

A jigsaw puzzle company wants to design a new rectangular puzzle with a specific quirk: it must have the same number of edge ...

GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...