25 Field Medalist and 5000+ mathematicians from leading institutions around the world endorsed an open letter expressing concerns about the impact of AI on mathematics:

https://www.mathandai.org/

More than 1,900+ mathematicians have also shown concern over the Caltech Mathathon:

https://docs.google.com/document/d/1IL0b2oG2KvvSnxn_DuXsNxuH...

James Maynard, a Fields Medalist, has also publicly expressed concerns about the implications of AI for mathematics:

https://www.youtube.com/shorts/R9VQnNv5SoI

This subjective attitude turns mathematics into nothing more than number-poetry.

That would reduce mathematics to something very pathetic.

Focus instead on attribution. Yes, OpenAI took the last tiny step in the process of solving this problem (= proving it). But it cannot attribute credit to all the mathematicians whose chat logs from the past few months were fed into its training data. Unlike a human, it can't even remember where it learned things from! For many theorems, I can still recall which exposition was the one that "sank in" for me (often not the first one!) a decade after grad school.

In my mind, this makes current LLMs unfit to deserve any credit at all -- they cannot give credit to others, so they and their owners deserve no credit themselves. OpenAI's LLM took the last tiny step, but not any of the important ones.