6 hours ago
- The author argues that mathematicians should not collaborate with AI companies for the foreseeable future, citing recent AI achievements like proving the existence of nonsofic groups for only $2,000.
- AI threatens core mathematical values such as proper attribution, accountability for errors, and open-access knowledge sharing, as LLMs often misattribute work and produce nonsense proofs.
- The use of LLMs in mathematics undermines human understanding, especially in education where students rely on AI to complete homework without learning, and in research where it raises the bar for early-career mathematicians.
- The author believes that if AI and humans compete directly in theorem proving, AI will surpass humans within 2-5 years, making human-led mathematical activity obsolete unless structural protections are implemented.