实体
J. L. Nielsen
J. L. Nielsen
PulseAugur coverage of J. L. Nielsen — every cluster mentioning J. L. Nielsen across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
用户质疑 OpenAI 的 LLM 发现错误声明，引用定理证明者
一位 Mastodon 用户对 OpenAI 关于 LLM 发现定理错误的说法表示怀疑，指出证明该定理的 J. L. Nielsen 是发现错误的人。用户警告不要拟人化 LLM，并表示它们可以执行编码等任务，但缺乏独立思考能力，并且可能会诉诸于
-
数学家驳斥OpenAI的AI生成的Connes刚性猜想证明
一位数学家驳斥了OpenAI声称其新AI模型证明了Connes刚性猜想的说法。来自堪萨斯大学的数学家J. L. Nielsen发现，该AI生成的由37000行Lean 4代码组成的证明存在缺陷。具体来说，Nielsen指出，AI构建中使用的一个群不满足该猜想的必要条件。这一事件凸显了在验证AI生成的科学结果时，人类监督的至关重要性，因为Lean等形式化验证工具仅检查证明的逻辑结构，而不检查其语义准确性或与原始问题的相关性。