Google's second generation of its AI mathematics system combines a language model with a symbolic engine to solve complex geometry problems better than International Mathematical Olympiad (IMO) gold ...

With all that​ emphasis on the significance of the square in our lives, how did we get to that semi-put down of the middle of ...

The main focus of my recent research is magnitude of metric spaces and related aspects of metric geometry, while the bulk of my past research has been in probability, especially random matrix theory ...