Tag Archives: ChatGPT

Look, Mom, I pressed a button! (Go edition)

Apropos of nothing, I was reminded recently of a fascinating story I heard from Geordie Williamson about AI and go — perhaps this story was the original source. It is a story about how a technology which has the power … 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 , , , , , , , | 10 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 moral panic over AI

A number of journals appear to have frothed themselves into a moral panic over AI. There is certainly a lot of AI-generated crap appearing in multiple places, and the arXiv moderators are no doubt playing whack-a-mole trying to keep it … Continue reading

Posted in Mathematics | Tagged , , , | 2 Comments

SL_n versus GL_n

I recently wrote a paper (with Toby Gee and George Boxer, see also here) on constructing regular algebraic automorphic representations \(\pi\) of (cohomological) weight zero and level one, and therefore also cuspidal cohomology classes in the cohomology of \(\mathrm{GL}_n(\mathbf{Z})\) for … Continue reading

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

Zeilberger + ChatGPT

Since I don’t have maple, I can’t play with the following code: https://sites.math.rutgers.edu/~zeilberg/tokhniot/MultiAlmkvistZeilberger.txt But is ChatGPT now good enough to re-write this in either pari/gp or magma (or Mathematica). I’m not sure how realistic this might be (without some serious … Continue reading

Posted in Mathematics | Tagged , , | 2 Comments