What's this about?
After comment activity became dominated by unexplained AI proofs and priority claims, the maintainer froze problem comments and claims, removed status counters and shifted attention to formal verification and readable exposition.
What exactly is a priority claim?
It asserts “I solved this first.” The maintainer argues that automatically generating and posting a proof can gamify credit without producing understanding or useful explanation.
What's the community saying?
HN 95 points and 39 comments.
- Many supported separating proof archives from human discussion spaces.
- Others regretted losing a convenient tracker for which problems are solved.
- The deeper argument was whether correctness alone is enough, or explanation and community participation are part of mathematics' value.