实数有多真实？(2004)

Hacker News Top 论文
philosophy-of-mathematics real-numbers foundations mathematical-philosophy

摘要

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

暂无内容
查看原文

相似文章

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无法做到的方式客观证明自己的意识，强调了这种证明的主观性。