1
How do we prevent mathemathics from devolving into the Medieval Era of secrecy?
A MathOverflow discussion argues that AI‑driven proof generation threatens the open, collaborative nature of mathematics, proposing human‑only attribution and mandatory disclosure of AI methodology as possible safeguards.
Hacker News front pagemathoverflow.net12 minHN157146