How do we prevent mathemathics from devolving into the Medieval Era of secrecy?
12 hours ago
- 中世纪的数学被保密处理，被视为数学家生计和声誉所必需的个人知识。
- 数学家参与公开竞赛，最快解决问题的人能获得资金和地位，这强烈激励了保密行为。
- 例如：希皮奥内·德尔·费罗将解三次方程的方法隐藏了20年，只在临终前透露。
- 这种保密文化持续到中世纪晚期，导致了如牛顿与莱布尼茨关于微积分的争议。
- 现代激励机制转向发表成果，资金与撰写基金申请挂钩。
- 人工智能和大语言模型正在以低成本生成证明，威胁传统证明的经济模式。
- 大公司可花费数百万美元进行计算（例如，寻找纳维-斯托克斯方程反例需650万至4000万美元），以快速解决问题。
- 陶哲轩警告，低成本提取解决方案的能力可能导致研究人员囤积有前景的问题，逆转几个世纪以来的开放科学。
- 提出的解决方案：要求人类作者身份才能获得荣誉，并强制公开完整的方法论。
- 陶哲轩建议将某些问题指定为需要仔细分析和洞见，而不仅仅是原始解决方案；类比于食品捐赠标准。
- 潜在的缓解措施：仅对人类授予荣誉，并要求全面披露方法论，以阻止人工智能公司攫取成果。