Tag Archives: Kevin Buzzard

The OpenAI problem dump

As we await the latest AI-generated results (whether gurgling through the arXiv, appearing on 4chan, or coming straight from the horse’s mouth), I thought I would put on record some interesting open problems from my own field. I don’t mention … Continue reading →

Posted in Mathematics | Tagged , , , , , , , , , , | 16 Comments

Putting ChatGPT through its paces

We are all aware of what ChatGPT can do. I think we would be better informed if we also learn what it cannot do (at least right now!). In order to better understand the current capability of the latest publicly … Continue reading →

Posted in Mathematics | Tagged , , , , , , , , , , , , , | 5 Comments

Xena on Counterexamples

There is an interesting post here on Xena’s blog. I don’t centre “proof” in mathematics to anywhere near the extent that Kevin does, but I think emphasizing that distinction obscures the fact that our opinions about mathematics, mathematicians, and, I … Continue reading →

Posted in Mathematics | Tagged , , , , , , , , , , | 3 Comments

The Arthurian Legend

Some time back, Kevin Buzzard (friend of the blog!) gave a series of talks in which he criticized certain aspects of the mathematical culture when it came to accepting proof. In addition to obvious targets like the classification of finite … Continue reading →

Posted in Uncategorized | Tagged , , , , , , , , , , , , , , , , , | 7 Comments

The horizontal Breuil-Mezard conjecture

Postdoc hiring season will be upon us soon! I have two excellent graduate students who will be applying for academic jobs soon, Chengyang Bao and Andreea Iorga. I have mentioned Chengyang’s first project before here and an introduction to the … Continue reading →

Posted in Mathematics, Students, Work of my students | Tagged , , , , , , , , , , , , , , , , , | Leave a comment

What the slopes are

Let \(f\) be a classical modular eigenform of weight \(k\), for example, \(f = \Delta\). The Ramanujan conjecture states that the Hecke eigenvalues \(a_p\) satisfy the bound \(|a_p| \le 2 p^{(k-1)/2}.\) A slightly fancier but cleaner way of saying this … Continue reading →

Posted in Mathematics | Tagged , , , , , , , , , , , , , , | 2 Comments

The eigencurve is (still) proper

Although I don’t think about it so much anymore, the eigencurve of Coleman-Mazur was certainly one of my first loves. I can’t quite say I learnt about \(p\)-adic modular forms at my mother’s knee, but I did spend a formative … Continue reading →

Posted in Mathematics | Tagged , , , , , , , , , , , , | 1 Comment

NSF Proposal, Graduate Fellowship Edition

Note: I feel as a service to the number theory entertainment complex that I should blog more often in these times, even if it means being less coherent than usual. I might even try to get a few guest posts … Continue reading →

Posted in Mathematics | Tagged , , , , , | Leave a comment

Harris versus Buzzard

Michael Harris has a new article at quanta. The piece is (uncharacteristically?) coy, referring to the laments of two logicians without divulging either their names or their precise objections, making oblique references to a cabal of 10 mathematicians meeting at … Continue reading →

Posted in Mathematics | Tagged , , , , , , , | 24 Comments

Tips for new postdocs

In my role as junior hiring chair, I’ve been thinking a little bit about how a (R1) institution can best serve its postdocs. Many find the transition from graduate student life to being a postdoc somewhat of a rude shock. … Continue reading →

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