AI fusion cuisine: On the latest research article of Jacob Tsimerman

Oliver Braunling, Professor at FH Dortmund.

Today (7. Oct 2026) a preprint of Jonathan Pila and Jacob Tsimerman appeared on the arxiv (https://arxiv.org/abs/2610.09714), with the AI disclosure.

No AI was used in the research or writing of this paper.

It immediately leads to the question: is it possible that researchers like Jacob Tsimerman can compartmentalize their brains to such an extent that one part has been a heavy user of AI for years, while another part of the brain pursues only AI-unrelated thoughts.

While it sounds quite unbelievable to me that humans could isolate their thinking so dramatically, literally like plunging their brains into sandboxes – I also feel that the maths community as a whole will not be able to separate these worlds. How would we? Right now, we see a transitional phase, where the concept of an “AI-free mathematician” might still exist. But we will read papers all the time whose AI disclosures might mislead us (a drastic example for such a disclosure comes to mind right away), and we learn from these papers, oftentimes subconsciously. After a year of reading, refereeing, the daily arxiv briefs – Who will be able to label their knowledge according to its provenance?

And we discuss with others, at the blackboards, over coffee, by e-mail – Many of these exchanges will be shaped by things that some people have learned through AI, they mix, intermingle, and one day there is no other way but to call it a human-AI fusion cuisine.

I would argue that the “AI Disclosure” is only an instrument of very temporary meaningfulness (a view that has been expressed before in other posts). It pretends to measure something that, already today, is not measurable. It is an act of voluntary self-deception.

Or, to put it more mildy: I am unable to extract any meaningful information from Pila and Tsimerman’s AI Disclosure “No AI was used in the research or writing of this paper.”. I know an \emptyset when I see it.

What I, however, can extract from it, is the provocation. All the countless young mathematicians who have just been told that the future of research is the machine, whose belief in their own brainpower has been shattered. Some say, their meaning of life has been evaporated. Some have already left maths, and many are considering to leave. Just now. Perhaps today. This hour. Perhaps precisely in the hour when some other people chose to upload their preprint, where they claim that THEY can still do AI-free research. Exactly the gift they took away from the next generation.

Personally, I have had many conversations with AI and have learned a lot of interesting maths. Yet this text is written entirely by me, no AI use whatsoever. Find out for yourselves whether you consider my text AI-free or AI-shaped, it’s a Schrödingerian cat of sorts at best.

With many, I share the worry that our community will be divided, friends become enemies already today – Let us not have this divide over AI infused ideas or disclosures, but in regards to who acts responsibly towards the next generation of mathematicians. This will be a divide as well, because it makes it necessary to be clear about who is acting absolutely irresponsibly. They are dancing in a rain of tears.


Received 7 October 2026.

Filed under
More by →

15 responses to “AI fusion cuisine: On the latest research article of Jacob Tsimerman”

  1. Daniel Hadas Avatar

    Jacob Tsimerman did not “take away the gift of mathematical research from the next generation”.

    He pivoted to AI very late, to work on safety. He is not responsible for its existence. And if he said that “the future of research is the machine” then he is just helping people to not delude themselves about what is already in front of their eyes.

    1. Anonymous Avatar
      Anonymous

      He was never exposed to AI at the University of Toronto, one of the major AI centers? And then suddenly dropped everything because AI is too powerful?

      1. Daniel Hadas Avatar

        Of coarse he uses AI for math in general, my point is that he did not take part in AI research and development until very recently. I assumed that the accusation was about him taking a job at OpenAI. Otherwise why would the post be directed specifically at him?

        The point that AI use by the older generation of mathematicians comes at a cost for the young generation is a good point to make.

  2. M Avatar
    M

    If an AI disclose should list everything that influenced indirectly the manuscript, then we do not need AI disclosures anymore, as everybody who read the Navier-Stokes news, or who looked into the recent solved problems dump, or who just ever used an Ai, now relies automatically on Ai in all their forthcoming papers?

    Whats the point of disclosing Ai use in one paper if it influences the disclosure in all forthcoming papers?

    Does one need to cite all the books one has read to learn the subject one does research on?

    Anyways, mathematicians appear still undecided about the Ai disclosures, much of this is not covered by what was usually the proper academic conduct. E.g., it was quite uncommon to disclose all random computations one did with Mathematica (and not the own brain) while working on a paper, but now if Ai is asked to do a computation, it must be disclosed. For some it makes sense, for some not.

    1. Joker Avatar
      Joker

      I too found the trend of disclosing every little bit of AI use very strange, because why don’t we thank google or whatever search engines we use? How many people learn from Stackexchange and MathOverflow without thanking them?

  3. tchow8 Avatar
    tchow8

    A lot of people are finally releasing papers that have been 95% complete for years, but that they never got around to polishing up for public consumption. This could be one of those cases. It sounds like this blog post was written without directly asking Tsimerman for clarification. I personally would like to hear his side of the story before rushing to judgment.

    1. Oliver Braunling Avatar
      Oliver Braunling

      The point is not to say that somebody is lying or anything like that.

      (A) The point is that some mathematicians interpret “no AI use” as: I might be using AI all the time, but I didn’t prompt anything specifically regarding this one particular article – so it is AI-free.

      (B) Other mathematicians interpret “no AI use” as: Continuously doing research without AI interaction. They don’t have an account, they don’t bounce their ideas against an AI, no proof checks, all that.

      An AI disclosure has no meaning when different parts of the community subsume both interpretations under “no AI”. People can say, in good conscience and absolutely honestly, “no AI”-use and mean totally different things. But if you happen to belong to the group of people who very publicly and with huge audience declare AI as the future of mathematics, then there is a provocation in using interpretation (A) of these words. It eliminates the language that the people in group (B) can use.

      1. tchow8 Avatar
        tchow8

        Your distinction between (A) and (B) is valid. But you could have made this distinction without using the specific example of Tsimerman’s paper. If Tsimerman’s paper is, as I suggested, an old manuscript that is only just now being made public, then its AI use statement could be of type (B), for the simple reason that “AI use” in its modern sense didn’t exist back when the manuscript was written. So until you confirm that the research in Tsimerman’s paper was performed recently (in particular, after Tsimerman started using AI in some way), it’s a bad example for illustrating your point.

        1. Oliver Braunling Avatar
          Oliver Braunling

          “The authors are very grateful the Institute for Advanced Study for its support and warm hospitality in the period that this paper was written.”

          https://www.ias.edu/math/events/sp/25-26

          1. AG Avatar
            AG

            This link identifies just one of the possible periods during which the paper was written.

  4. MK Avatar
    MK

    I lost interest in Proofs and Prompts some time ago in part because of low quality posts like this. I still peruse from time to time, but most posts now bring nothing new or important to the discussion.

    1. Oliver Braunling Avatar
      Oliver Braunling

      Haha, true! And wait till you see the comments under the articles 🙂

  5. Orr Shalit Avatar
    Orr Shalit

    I think that the meaning of their disclosure is pretty clear: that they have not used AI for proving the results, checking the results, writing or proofreading. They made (for whatever reason) a conscious decision not to use it and stuck to it.

    The question arises why would anybody need to disclose what they haven’t used (how about I list all the colleagues who I didn’t not speak about the problem with, alongside the colleagues that I thank for helpful discussions?) but the situation right now is that if they wouldn’t disclose no use, the assumption would be that they used it without disclosing it.

    1. Oliver Braunling Avatar
      Oliver Braunling

      But if “no AI was used in research” means what you propose, what can the people write who don’t use AI (at all)?

  6. Nilima Nigam Avatar
    Nilima Nigam

    I understand the goal of AI statements somewhat differently, and hope they evolve in this direction. The goal should be aiding independent reproducibility of the work.

    This is already the norm in ACM/IEEE and the SIAM Journal of Scientific
    Computing. The authors provide research artifacts that allow the work/figures to be reproduced. Describing the tools and experimental set-up is precisely the ‘methods’ section of the papers in many sciences.

    https://www.acm.org/publications/policies/artifact-review-and-badging-current

    In the ‘before times’ when there was a figure or calculation in our papers, a curious reader wanting to replicate it would have to ask the author – hey, can I use your code? The authors are usually generous and send it over. But the precise parameter settings and the computer architectures that were used to generate plots and numbers were not usually part of paper. This isn’t super-great as scientific practice [and I’m fully guilty of it]! This is why a move to reproducibility was good.

    To the responses ‘well do I need to tell you about my Google searches now?’ – no. We don’t expect lab scientists to record their use of test tubes. But we do hope they tell us enough about an experimental set-up (including the instruments and the settings) so that it could be reproduced. If you’re working with tools which are aiding your mathematics in a meaningful way, whether Matlab or Mathematica or LLMs, it’s helpful to record as an artifact how you used the tools.

    In an era of autoformalization and AI use, accompanying Lean code is part of the artifacts we now see associated with papers. But so should prompts/information about the model be, I think. The models are changing rapidly, the prompts we provide may matter to the proof being generated, and translation from natural language to Lean code is not perfect. And if you didn’t use these tools, that’s also helpful to know.

Comments are moderated. Read our comment policy.

Add to the discussion

New posts by email.

Prefer a feed reader? Subscribe by RSS.

Also on Mathstodon.

Latest comments across the site.

Discover more from Proofs and Prompts

Subscribe now to keep reading and get access to the full archive.

Continue reading