我们如何防止数学沦为中世纪式的秘密学科?
摘要
文章讨论了防止数学秘密化的问题,并以中世纪作为警示案例。
暂无内容
相似文章
不可知的数学可帮助隐藏秘密
一种新型的零知识证明利用哥德尔不完备定理克服了之前的保密性限制,建立了数理逻辑与密码学之间的惊人联系。
数学的终结
Daniel Litt 探讨了一个假设的未来:AI 在数学上超越人类,这可能由于重复性工作和数学界人类参与度降低而引发进展停滞。
数学的至暗时刻
一位数学家描述了一场由近期LLM生成的长期猜想反例所引发的精神危机,认为数学发现中的人类体验至关重要且受到威胁。
Terence Tao希望某些数学问题对AI解题器保持禁入
Terence Tao认为,应保留数学开放问题供人类解决,以维持纯净的基准并发展新技术,建议通过社会规范限制AI解题器在某些领域的应用。
数学不止于证明,我们应更好地颂扬其他方面
文章提出,数学中的'动机性解释'应与证明一同获得学术认可,尤其是AI生成的证明对传统贡献衡量标准构成挑战之际。