Almost three weeks ago, I proposed a collaborative project, combining the efforts of professional and amateur mathematicians, automatic theorem provers, AI tools, and the proof assistant language L…

What's new

03.11.2024

Climbing the cosmic distance ladder: launching an instagram | What's new

I have been collaborating for many years with a long-time personal friend and polymath, Tanya Klowden, on a popular book on astronomy tentatively entitled “Climbing the cosmic distance ladder…

What's new

09.11.2024

The elephant in the room | What's new

The day after the election, I found myself struggling with how to approach the complex analysis class I was teaching. Could I ignore the (almost literal) elephant in the room? Would my students be …

What's new

12.11.2024

Higher uniformity of arithmetic functions in short intervals II. Almost all intervals | What's new

Kaisa Matomäki, Maksym Radziwill, Fernando Xuancheng Shao, Joni Teräväinen, and myself have (finally) uploaded to the arXiv our paper “Higher uniformity of arithmetic functions…

home›What's new

What's new

Science

The equational theories project: a brief tour | What's new

Climbing the cosmic distance ladder: launching an instagram | What's new

The elephant in the room | What's new

Higher uniformity of arithmetic functions in short intervals II. Almost all intervals | What's new

home
›
What's new