You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
David Michael Roberts (Mar 25 2025 at 00:33):I hate to do this, but the four arXiv papers by this author, uploaded in the last week, all look wholly AI-generated to me: https://arxiv.org/search/?query=Reizi&searchtype=author
David Michael Roberts (Mar 25 2025 at 00:35):In particular the appendix of https://arxiv.org/abs/2503.16555 there is a promise of proofs, examples and so on, but the entire text of the appendix is this:
In this appendix, we present additional proofs, detailed calculations, and further examples
that complement the results in the main text. In particular, the appendix includes:
* A complete proof of the back-and-forth construction used in Lemma 5.8.
* Detailed verifications of the functoriality of the Henkin and compactness-based model constructions.
* Concrete examples illustrating the construction of models for specific theories.These supplementary materials are provided to offer deeper insight into the technical details and to demonstrate how our unified framework can be applied to various logical systems.
The next text is the bibliography and that's it. The content is also extremely banal.
Chad Nester (Mar 25 2025 at 06:48):After a cursory inspection of https://arxiv.org/abs/2503.16570, I agree.
Kevin Carlson (Mar 25 2025 at 07:33):I can't find any information about this supposed person online except an affiliation via their email, but I've made a report to the Arxiv.
fosco (Mar 25 2025 at 08:33):
yep, no way a human wrote this
David Michael Roberts (Mar 25 2025 at 09:17):Stupid LLM forgetting the syntax for bold in TeX and falling back on Markdown...
Matteo Capucci (he/him) (Mar 25 2025 at 15:39):I'm proud to say I called bullshit from the titles alone in my feed lol glad I wasn't wrong
Ryan Wisnesky (Mar 25 2025 at 16:10):Heh, we did an experiment on LLMs that produce SQL code, and for many of them, no matter how much you tell them not to format the output, they still do it. Stripping extra comments and markdown/html out of responses turned out to be the hardest part of interacting with the LLM in an automated flow.
Joe Moeller (Mar 25 2025 at 22:06):Matteo Capucci (he/him) said:
I'm proud to say I called bullshit from the titles alone in my feed lol glad I wasn't wrong
Right, natural transformations between theorems.
Joe Moeller (Mar 25 2025 at 22:07):I noticed there are two orders of the names used. Two of the papers are JRB, and two are BJR. What could be the point of that?
David Michael Roberts (Mar 26 2025 at 00:27):The email address seems to be attached to Open University Japan, so name-order may have been auto-generated differently for the different papers?
Noah Chrein (Mar 28 2025 at 15:44):fosco said:
yep, no way a human wrote this
To be fair, I have seen researchers who just learned about category theory writing this way.
Anyway, the AI-generated slop CT papers are coming. I've noticed that Qwen 2.5 is trained on a lot of higher/formal category theory. It's fun to play with and it can produce approximately accurate references to results, which can sometimes cut down on search time. It's not yet good enough to generate any meaningfully creative results, and is not enough to fool a half-keen eye, but I can imagine an undergrad using qwen to write a undergrad thesis that nobody reads.
Ivan Di Liberti (Mar 28 2025 at 15:51):Noah Chrein said:
fosco said:
yep, no way a human wrote this
To be fair, I have seen researchers who just learned about category theory writing this way.
Anyway, the AI-generated slop CT papers are coming. I've noticed that Qwen 2.5 is trained on a lot of higher/formal category theory. It's fun to play with and it can produce approximately accurate references to results, which can sometimes cut down on search time. It's not yet good enough to generate any meaningfully creative results, and is not enough to fool a half-keen eye, but I can imagine an undergrad using qwen to write a undergrad thesis that nobody reads.
What is Qwen and how happen it was trained on so much category theory?
Kevin Carlson (Mar 28 2025 at 16:07):Qwen appears to be Alibaba's language model. I hadn't heard of it till now.
Noah Chrein (Mar 28 2025 at 16:08):Perhaps the Chinese understand the importance of category theory to mathematics and hence to generalized cognition