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

Who would have imagined that an artificial intelligence tool accessible to everyone could participate in the creation of novel mathematical proofs? This observation marks a milestone in the field ...

A research team based in China says its artificial intelligence system has done something no AI has publicly done before: ...

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...

Is it possible to deduce the shape of a drum from the sounds it makes? This is the kind of question that Iosif Polterovich, a professor in the Department of Mathematics and Statistics at Université de ...

Caroline Klivans, senior lecturer in applied mathematics and computer science, achieved every student’s dream and proved her former advisor wrong. The Partitionability Conjecture was postulated by ...

Using AI and computer automation, researchers have developed a 'conjecture generator' that creates mathematical conjectures, which are considered to be the starting point for developing mathematical ...