Tag Archives: Wadim Zudilin

zeta(5) is irrational

So one day after an amazing result by humans, the computers have struck back! This time, a proof that \(\zeta(5)\) is irrational. The paper I saw gives me the impression of being almost entirely AI generated (if so, it then … Continue reading →

Posted in Mathematics | Tagged , , , , , | 4 Comments

Look, Mom, I pressed a button!

I have recently heard a few extraordinary opinions about how mathematicians should use AI. One I would paraphrase as “professional mathematicians should never use AI for any problem not in their narrowly defined (by whom?) research program”, which seems ridiculous … Continue reading →

Posted in AI, Mathematics | Tagged , , , , , , , | 11 Comments

A talk on my new work with Vesselin Dimitrov and Yunqing Tang on irrationality

Here is a video of my talk from the recent 70th birthday conference of Peter Sarnak. During a talk one always forgets to say certain things, so I realized that my blog could be a good place to give some … Continue reading →

Posted in Mathematics | Tagged , , , , , , , , , , , , , , , | 4 Comments