GPT-6 Astra在哥德巴赫猜想刘维尔弱形式上取得重大突破
人工智能模型GPT-6 Astra在数论领域取得重要进展，成功无条件证明了哥德巴赫猜想的刘维尔（Liouville）弱形式。该证明表明，任意大于2的偶数均可表示为两个刘维尔函数值均为-1的正整数之和。相关成果不依赖广义黎曼猜想（GRH），且无“充分大”的数值限制，涵盖所有大于2的偶数。
据悉，该论证采用初等代数与逻辑推理路线，避免了暴力计算，且相关证明代码已完全通过Lean 4形式化验证，确保逻辑严格无误。尽管该结论尚未直接攻克原版哥德巴赫猜想（即加数为纯素数的“1+1”），但为研究数论中乘法结构与加法组合的联系提供了全新的思路与工具。
来源：captain_sude / Github / ArXiv
人工智能模型GPT-6 Astra在数论领域取得重要进展，成功无条件证明了哥德巴赫猜想的刘维尔（Liouville）弱形式。该证明表明，任意大于2的偶数均可表示为两个刘维尔函数值均为-1的正整数之和。相关成果不依赖广义黎曼猜想（GRH），且无“充分大”的数值限制，涵盖所有大于2的偶数。
据悉，该论证采用初等代数与逻辑推理路线，避免了暴力计算，且相关证明代码已完全通过Lean 4形式化验证，确保逻辑严格无误。尽管该结论尚未直接攻克原版哥德巴赫猜想（即加数为纯素数的“1+1”），但为研究数论中乘法结构与加法组合的联系提供了全新的思路与工具。
来源：captain_sude / Github / ArXiv
来自频道: @DNSPODT
ZCode完成安全整改 智谱承诺相关代码数据没有用于模型训练
针对社区反馈的ZCode产品安全问题，智谱今日已经开源ZCode，并表示公司已完成全面整改，向所有用户致歉。公司明确承诺：对于社区反馈中提及的代码及相关数据，不作任何形式的留存，且从未将其用于模型训练。整改完成后，公司邀请中国信息通信研究院和绿盟科技开展安全审计。公司已将ZCode开源，把代码交给社区监督。后续，公司将建立常态化产品安全漏洞响应机制，持续接受开发者反馈，并根据问题严重程度给予相应奖励。
来源：新浪财经 / Github
针对社区反馈的ZCode产品安全问题，智谱今日已经开源ZCode，并表示公司已完成全面整改，向所有用户致歉。公司明确承诺：对于社区反馈中提及的代码及相关数据，不作任何形式的留存，且从未将其用于模型训练。整改完成后，公司邀请中国信息通信研究院和绿盟科技开展安全审计。公司已将ZCode开源，把代码交给社区监督。后续，公司将建立常态化产品安全漏洞响应机制，持续接受开发者反馈，并根据问题严重程度给予相应奖励。
来源：新浪财经 / Github
来自频道: @DNSPODT