数学论文与证明的公开与标准化

原话 · @匿名

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.

原话 · @匿名

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.

原话 · @匿名

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.