What does the advent of powerful AI models mean for mathematicians like me?

Guest post by Jennifer Taback (Bowdoin College), the third in a series of AI-and-mathematics guest posts on Tao's blog after Rachel Webb's (29 Sep). Tao's note says it "was initially written in a different file format and converted using AI". She has "yet to succeed in prompting a solution to one of my long-term problems". AI models have, however, "helped fix an incorrect lemma and suggested a helpful reorganization of a paper" and act as the research colleague she lacks at a small college. On teaching, she is "angry at AI for forcing evaluation into the classroom under timed conditions", and says oral exams are impractical without graduate assistants. She asks for AI-pedagogy discussions to include teaching-focused institutions, for tool use to be disclosed "without fear of judgment", and for new standards on what counts as proof, publication and tenure. She also says researchers should not drop lines of inquiry "for fear that AI will get there first".

No notable claims or new results. Low reach (Hacker News item 49944624, 2 points when checked).

Short quotes only (see Summary). Full text at the URL.