★ 3
为什么数学界抛弃了 OpenAI
文章讨论数学研究社区与 OpenAI 之间关系的转变，分析此前合作或关注为何降温。内容涉及 AI 在数学证明与形式化推理中的可信度与学术规范争议。
Lobsters – Machine Learning16 天前
#AI 可信度
共 3 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 3
数学博主 Karagila 称不信任 AI 生成的 Lean 代码
数学博主 Asaf Karagila 发表文章，表示不信任 AI 生成的 Lean 形式化证明代码。文章讨论了 AI 在数学证明辅助工具中的可靠性问题，引发对 AI 生成形式化代码可信度的关注。
Hacker News – AI22 天前
★ 2
我们是否正被 AI“煤气灯”操控？
一篇博客文章探讨用户是否正被 AI 系统以类似“煤气灯效应”的方式误导，质疑模型输出中的自信语气与事实偏差如何影响人的判断。该文引发关于 AI 可信度与心理影响的讨论。
Hacker News – AI52 天前
这个主题的相关资产
相关公司OpenAI1