AI is now helping produce research-level mathematics, but experts say verifying proofs not generating them is becoming the ...

The GSMM Camp is a weeklong workshop that builds interdisciplinary problem-solving skills for graduate and advanced undergraduate students. Participants work in teams on mathematically rich problems ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

AI tools are increasingly being used to track and monitor us both online and in-person, yet their effectiveness comes with big risks. Computer scientists have developed a new mathematical model which ...

Computational Chemistry is the study of complex chemical problems using a combination of computer simulations, chemistry theory and information science. Also called cheminformatics, this field enables ...

Three Duke Rugby players who are math majors tackled a challenge inspired by professional soccer Daniel Cheng, Malachy ...