Open and Standardized Dissemination of Mathematical Papers and Proofs
Problem
Current mathematical research faces dual pressures of publication overload and AI-generated proofs that are hard to verify, lacking standards for concise, auditable proof submissions and mechanisms for crediting intermediate results.
Pain points
- Information overload and review difficulty caused by excessive paper publishing
- LLM-generated proofs must meet human‑auditable conciseness requirements
- Lack of university‑hosted LLM platform to prevent commercial data mining
- Insufficient credit recognition for intermediate research outputs
Questions to verify
- Can a unified, concise, auditable platform for submitting mathematical proofs be established?
- Will universities be willing to provide and maintain internal LLM services?
- Will the academic community be willing to allocate credit to intermediate results and create tracking mechanisms?
Evidence
quote · @匿名
This will not happen. The fear comes from the real problem: publication as a measure.The mathematics itself will only benefit from the discovery of cross links from the human created literature. Think about these LLM as infinitely patient and very long attention experts in what was already done.So on one side, for a few years at least, it will become normal to publish tens of articles. The article inflation is what scares the present system.On the other side, after a while, when all the existing mathematical corpus will be mined and most of buried connections will be explored, we shall have a much more better foundation for future mathematics.It is very naive or misleading to think about mathematics as if it were chess or go.In few year these (future) tools will be in standard use.
quote · @匿名
Make the proof from LLMs with the same constraints as human mathematicians have:The proof must be as succinct as possible so that it's reviewable. It's ok for the same LLM to publish repeatedly, but it's not Ok to drop a bulk 600kb Lean proof.The proof must build on other works that are similarly bite sized and published before (so that it's incrementally reviewed)The proof must be published as soon as fully formed, and not in bulk like current LLMs proofs.
quote · @匿名
Universities should be providing university hosted llms to their faculty and students. No student or faculty member should be using public llms for their work. They can share info directly with other people or in non-public forums to keep it away from commercial llms. It is going to have to be against the rules to submit anyone else's work to a commercial llm. Businesses are going to have similar policies.Universities can host the llms just like they hosted any other computer lab or web service on campus. This is what universities are supposed to be doing. Universities should be involved in open model research and should offer models that are not datamined.
Disclaimer: this card is distilled by AI from community discussions as “pain point evidence”. It is a starting point for need analysis and validation, not a “validated market need”. AI has analytical limits; please open the original discussion above to manually verify before key decisions.