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

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

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

Penn Engineers have developed a new way to use AI to solve inverse partial differential equations (PDEs), a particularly ...

During her graduate studies at The University of Texas at Austin, Lisa Piccirillo solved a problem that had bedeviled mathematicians for five decades. Piccirillo first learned of the Conway Knot ...

How much longer will we keep trying to solve our nation’s dismal math proficiency problem by writing new math problems? Clearly, if that was the answer, it would have worked by now–but it hasn’t, as ...