I've long been fascinated by the fundamental mystery of our universe's origin. In my work, I explore an alternative to the ...

A mathematical problem solved by Susanna Heikkilä relates to the classification of quasiregularly elliptic 4-manifolds, ...

Researchers have solved a long-standing problem in topology by helping classify four-dimensional shapes (4-manifolds) that ...

Well, the lab thinks the key to more capable AI might lie in discovering new ways to solve challenging geometry problems — specifically Euclidean ... an AI model for formal math reasoning ...