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

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

Those changes will be contested, in math as in other academic disciplines wrestling with AI’s impact. As AI models become a ...

The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...

Scientists today use artificial intelligence in many areas, especially in the natural sciences, for tasks such as analysing data or images. In theoretical mathematics, on the other hand, AI has barely ...

If you’re a hacker you may well have a passing interest in math, and if you have an interest in math you might like to hear about the direction of mathematical research. In a talk on this topic [Kevin ...

In addition to ascertaining that the internal vitality of the mathematical sciences is excellent, as illustrated in Chapter 2, the current study found a striking expansion in the impact of the ...

Faculty and students from the Department of Mathematical Sciences recently represented the U of A at two regional conferences focused on mathematics and mathematics education, highlighting innovative ...

Technology founder and quantitative researcher Neel Somani has spent his career grappling with a deceptively simple question: How can researchers prove that complex systems behave the way they are ...

The Department of Mathematics and Statistics has proved to be a stimulating research environment of several subjects of mathematical and statistical study. At the Department of Mathematics and ...