实数有多真实？(2004)
摘要
对实数哲学本质的探讨，质疑其在数学中的真实性与基础。
暂无内容
相似文章
RealMath-Eval：为何最先进的评判者难以应对真实人类推理
RealMath-Eval是一个包含224份真实高中数学考试答题的基准测试，揭示了显著的“评估差距”：相较于由LLM生成的合成解决方案（MSE约1.17），最先进的LLM评判者在真实人类推理上的表现较差（MSE约2.96），原因在于人类错误模式具有更高的多样性和惊异度。
数学危机与AI学术的前景
一位哲学家关于AI推理模型如何颠覆数学、解决长期悬而未决的猜想并迫使学术界重新思考研究未来的文章。
一位数学博士生的视角
一位数学博士生分享了关于AI如何重塑数学研究的看法，他认为纯粹数学一直以来都是由好奇心驱动的，而数学界需要对自己做数学的真正原因给出诚实的回答，而不仅仅是为争取经费找借口。
AI时代的无我数学
Karthik C. S.、Amit Sahai 和 Jie Xue 在陶哲轩博客上发表的一篇客座文章，探讨了人工智能如何迫使数学家重新思考自身工作的目的与价值，并主张以柏拉图式的“无我”观来看待数学发现，而非将其与个人成就和成果产出相绑定。
“数学的意义不在于证明，而在于理解。”
一位语言学背景的 Reddit 用户参与到关于 AI 与数学的激烈争论中，质疑为何 AI 生成的证明会被斥为"只有答案、没有理解"，并主张评价一篇论文的价值，应看读者能从中获得什么，而非作者尝试失败的过程。