Comment Comment by energy123 A surprising % of these LLM proofs are coming from amateurs.One wonders if some professional mathematicians are instead choosing to publish LLM proofs without attribution for career purposes. parent energy123 9 months ago
One wonders if some professional mathematicians are instead choosing to publish LLM proofs without attribution for career purposes.