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
中国8月广义财政支出降幅扩大 政策重心转向落实既有资金
中国财政部最新公布的数据显示，今年前八个月全国一般公共预算支出达18.15万亿元，同比增长1.2%。据彭博社估算，8月中国政府广义预算支出同比下降6.7%，降幅较7月有所扩大，广义财政收入则增长2.9%，导致当月财政赤字收窄约五成。内需疲弱背景下，政府当前主要聚焦于加快使用现有预算资金，政策性银行已投放8000亿元金融工具以支持基础设施建设，市场预计未来政策将进一步向支持经济增长倾斜。
来源：联合早报
中国财政部最新公布的数据显示，今年前八个月全国一般公共预算支出达18.15万亿元，同比增长1.2%。据彭博社估算，8月中国政府广义预算支出同比下降6.7%，降幅较7月有所扩大，广义财政收入则增长2.9%，导致当月财政赤字收窄约五成。内需疲弱背景下，政府当前主要聚焦于加快使用现有预算资金，政策性银行已投放8000亿元金融工具以支持基础设施建设，市场预计未来政策将进一步向支持经济增长倾斜。
来源：联合早报
来自频道: @DNSPODT
Google Gemini 4 Pro测试表现亮眼，多项指标跃居行业前列
谷歌最新大模型Gemini 4 Pro在权威平台Arena及多项基准测试中展现出卓越性能。在 Three.js 3D渲染与代码生成测试中，该模型响应速度与生成质量均显著超越同类竞品；在智能体编码、知识工作及终端操作等测评中亦斩获多项最佳成绩。该模型在保持旗舰级性能的同时具备极高性价比，预示着谷歌在前沿AI领域的研发节奏正在全面提速。
来源：YouWare / Reddit / Harshith
谷歌最新大模型Gemini 4 Pro在权威平台Arena及多项基准测试中展现出卓越性能。在 Three.js 3D渲染与代码生成测试中，该模型响应速度与生成质量均显著超越同类竞品；在智能体编码、知识工作及终端操作等测评中亦斩获多项最佳成绩。该模型在保持旗舰级性能的同时具备极高性价比，预示着谷歌在前沿AI领域的研发节奏正在全面提速。
来源：YouWare / Reddit / Harshith
来自频道: @DNSPODT
美白宫公布中国国家主席习近平访美行程
美国白宫近日公布了中国国家主席习近平应邀对华盛顿进行国事访问的具体行程。根据安排，习近平将于9月23日抵达圣安德鲁斯联合基地，美国总统特朗普将前往机场迎接并举行欢迎仪式。
访问期间，两国元首将举行双边会晤，就共同关心的议题深入交换意见，并共同出席在白宫东厅举行的国事晚宴。双方还计划共同参访美国国家档案馆等机构。此次会晤旨在推动两国关系进一步交流与合作。
来源：彭博社
美国白宫近日公布了中国国家主席习近平应邀对华盛顿进行国事访问的具体行程。根据安排，习近平将于9月23日抵达圣安德鲁斯联合基地，美国总统特朗普将前往机场迎接并举行欢迎仪式。
访问期间，两国元首将举行双边会晤，就共同关心的议题深入交换意见，并共同出席在白宫东厅举行的国事晚宴。双方还计划共同参访美国国家档案馆等机构。此次会晤旨在推动两国关系进一步交流与合作。
9月23日，星期三
习近平和夫人 彭丽媛 抵达位于华盛顿特区郊外的安德鲁斯联合基地。
特朗普在机场迎接习近平；两人共同参加欢迎仪式，这在军事基地非常罕见。
9月24日，星期四
特朗普和习近平当天举行会晤，并出席国宴。
特朗普将在白宫会见习近平和彭丽媛。
特朗普和习近平前往玫瑰园检阅军队，随后开始双边会晤。
梅拉尼娅·特朗普 和彭丽媛将出席在华盛顿地区举行的另一场活动；白宫尚未立即公布该活动的详情。
当晚，特朗普夫妇将在白宫东厅设国宴款待习近平主席和彭丽媛。特朗普和习近平主席都将在晚宴开始时致辞，出席晚宴的嘉宾还包括众多科技和金融界高管。
9月25日，星期五
喝茶、参观、离开。
特朗普夫妇将在白宫款待习近平和彭丽媛喝茶。
他们将前往华盛顿的国家档案馆查阅美国建国文献。
习和彭将前往安德鲁斯联合基地。
来源：彭博社
来自频道: @DNSPODT