Definitely NOT AI!
Within a few years AI will radically
change mathematics and more generally science and culture (among many
other human activities of course).
I am very scared by this and
I do not know what to think of it.
More precisely I really don't
want to think about it!
In the meantime I agree with Vladimir
Lazić' declaration on AI in mathematics, which is copied below:
Mathematics is not mathematics unless done by humans.
Literature is not literature unless written by humans.
Art is not art unless created by humans.
Therefore, I abide by the following principles.
-
I do not use AI in my research. I urge my coauthors to do the same as much as possible when they collaborate with me.
- I do not referee papers written by a machine. I do not submit to a journal which allows machines to referee my work.
- I do not referee grant proposals written by machines. I do not allow my grant proposals to be refereed by machines.
- I do not supervise doctoral and postdoctoral researchers who use AI as a substitute for their own work.
I do not support hiring of academic staff who use AI as a substitute for their own work.
- Teaching is not teaching unless done by humans.
- You are not an author of a paper to which your only contribution was to type a prompt in an LLM.
If you put your name on such a paper, you are committing an ultimate violation of good scientific practice.
You are not a mathematician unless you create new theories or prove new results: prompting a machine to do the work for you does not make you into a mathematician.
Asking a machine to do the work for you does not warrant your authorship of a paper.
- I actively resist disgraceful attempts by several mathematicians, including at least three Fields medallists, to destroy our discipline from the inside.
I actively resist efforts by corporate interests to co-opt our discipline in order to legitimise their business interests.
Marmots from Stubaital are very anxious about AI in mathematics.