From Authorial Mathematics to Studio Mathematics:Ecobiontic Forms of Proof after Large Language Models
从作者式数学到工作室式数学:大型语言模型之后的证明的生态生物形式
专题命中 推理与问题求解 :large language model(title,abstract);language model(title,abstract)
AI总结 本文探讨大型语言模型等技术催生的人机集合体(工作室生态生物)的认识合法性,提出需满足可追溯来源等治理条件,通过案例分析明确协作等维度的独立性,未声称其优于传统作者式数学实践。
Comments 43 pages, 6 figures; includes supplementary methodological and validation material