数学界应立新规：重大证明须附 LLM 对话记录，否则无法署名
rbhar90 · x · 2026-09-09
转发 pfau 的观点：数学界应尽快建立规范，要求任何重大证明都将 LLM 对话记录作为补充材料一并提交。理由是在 AI 深度参与推导的当下，若不公开模型交互记录，就无法正确归属人类与 AI 各自的贡献。
「漫话AGI」频道最新
- AI 情景讨论:默认走向或是 Peter Wildeford 的「Scramble」剧本 — sjgadler · 2026-09-09
- Anima Anandkumar 回击:物理中心 AI 已落地天气与医疗器件设计 — AnimaAnandkumar · 2026-09-09
- AI 解千禧难题竟不如格拉斯顿伯里售票抢镜 — birchlse · 2026-09-09
- 肿瘤医生批AI抗癌炒作：不了解基本事实就喊“治愈”是对患者不敬 — petergyang · 2026-09-09
- 网友观点：数学已现 ASI，AGI 却还没来 — AndrewSchmidtFC · 2026-09-09
- Grok 复盘 AI 攻克 Navier-Stokes:站在巨人肩膀上的必然一步 — robleclerc · 2026-09-09