实数有多真实?(2004)

Hacker News Top 论文

摘要

对实数哲学本质的探讨,质疑其在数学中的真实性与基础。

暂无内容
查看原文

相似文章

RealMath-Eval:为何最先进的评判者难以应对真实人类推理

arXiv cs.AI

RealMath-Eval是一个包含224份真实高中数学考试答题的基准测试,揭示了显著的“评估差距”:相较于由LLM生成的合成解决方案(MSE约1.17),最先进的LLM评判者在真实人类推理上的表现较差(MSE约2.96),原因在于人类错误模式具有更高的多样性和惊异度。

数学危机与AI学术的前景

Reddit r/singularity

一位哲学家关于AI推理模型如何颠覆数学、解决长期悬而未决的猜想并迫使学术界重新思考研究未来的文章。

重新审视AI意识

Reddit r/ArtificialInteligence

一场哲学讨论,质疑人类能否以当前AI无法做到的方式客观证明自己的意识,强调了这种证明的主观性。

定理经济的衰落

Hacker News Top

David Bessis 反思了数学研究的本质,认为概念理解比单纯生产定理更有价值,并借鉴了他在学术界和一家机器学习初创公司的经历。