Tag Archives: ChatGPT

Xena on Counterexamples

Posted on July 22, 2026 by Persiflage

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 , , , , , , , , , , | 1 Comment

The moral panic over AI

Posted on May 26, 2026 by Persiflage

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 , , , | Leave a comment

SL_n versus GL_n

Posted on July 18, 2024 by Persiflage

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

Posted on June 1, 2024 by Persiflage

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