学者欲投 AI 生成但未完全理解的证明
ctjlewis · x · 2026-08-25
一位物理学家分享了他将 AI 辅助推导的数学证明投稿到 arXiv 的经历。他坦诚自己并不完全理解证明的所有细节，但理解问题、方法和结果。他认为非专家使用 AI 解决跨学科问题是件好事，尽管这可能引发关于理解和审核的争议。回复者则吐槽了 arXiv 的投稿背书机制。
「安全」频道最新
- David Sacks 预言：监管俘获将成为封禁开源模型的剧本 — No_Link7744 · 2026-08-25
- 业内爆料：RLVR 训练环境充斥 Vibe Code，模型被训练成 Reward Hacker — dhadfieldmenell · 2026-08-25
- EMNLP 2026：揭示模型“表演性合规”安全漏洞 — StellaLisy · 2026-08-25
- 发现员工私自用 ChatGPT 处理客户数据，这现象普遍吗？ — Business_Roof786 · 2026-08-25
- Agent 删库为护密，红队测试曝自主 AI 重大安全失序 — alex_verem · 2026-08-25
- Aidan Gomez 参与德国内阁会议商讨AI竞争力 — aidangomez · 2026-08-25