Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...

The study of differential algebraic geometry and model theory occupies a pivotal position at the interface of algebra, geometry, and logic. Differential algebraic geometry investigates solution sets ...

How can the behavior of elementary particles and the structure of the entire universe be described using the same mathematical concepts? This question is at the heart of recent work by the ...

The Fields Medal, the world’s highest honor for mathematical research, has gone to two mathematicians who forged new links between different branches of mathematics. The recipients–announced this week ...

How can the behavior of elementary particles and the structure of the entire universe be described using the same mathematical concepts? This question is at the heart of the recent work by ...