At first, Maynard, a mathematician at the University of Cambridge and recipient of the Fields Medal, math’s most prestigious ...

Mind’s AI system, AlphaProof, provided Lean with proofs of three of the competition’s problems. A year later, four AI systems performed at the level of a gold medalist. However, problems posed at the ...

Mathematicians at OpenAI showed that the Navier-Stokes equations, which describe how fluids flow, can sometimes “blow up.” But the massive result is not without controversy. On the morning of Tuesday, ...

CalcLib is a Java-based numerical calculus library designed to perform differentiation, integration, and natural logarithm computations on generic numeric data. Rather than hard-coding calculations ...

You spent years studying string theory, a field at the intersection of mathematics and physics. But in 2017 your career pivoted. How did that happen? At that time, there was a new trend in science.

Ever since I retired, the La Jolla/Riford public library has become my second home. My library reserve queue is always maxed out and I generally read three books a week. The front seat of my car has ...

For thousands of years, mathematicians have experienced the emotional roller coaster of checking and rechecking their work: Just when they think a proof is complete ...

The latest flare-up in the debate over AI-assisted coding did not come from a new model release or a benchmark result. It came from a single line of text buried inside a software update. Earlier this ...

Penn researchers have developed a smarter AI method for solving notoriously difficult inverse equations, which help scientists uncover hidden causes behind observable effects. By introducing ...

Daniel Glasscock, an assistant professor of mathematics and statistics in the Kennedy College of Sciences, has been interested by Ramsey theory since his master’s degree studies at Central European ...