一位Mastodon用户质疑，如果arXiv上发布了一个AI生成的黎曼猜想证明，并附带完整的Lean形式化证明，人们是否会下载并验证它。回复警告不要这样做，并强调了下载和运行来自互联网的任意代码所带来的安全风险，这些代码可能包含恶意软件。 AI
影响 提高了人们对AI生成代码和形式化证明潜在安全风险的认识。
排序理由 这是一个关于假设性的AI生成证明的社交媒体讨论，而不是一个具体的发布或事件。
在 Mastodon — fosstodon.org 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
If somebody posts a claimed # AI generated proof of the Riemann hypothesis on the arXiv and it has a complete # lean formalization coming with the paper, would you download the lean proof (~100.000 lines) and check it on your computer? You should NOT DO THIS. That's very easy soc…