GPT-6 Astra 这次被宣称证明了什么？
它被宣称无条件证明了哥德巴赫猜想的 Liouville 弱形式，即每个大于 2 的偶数 N 都可拆成 a+b 且 λ(a)=λ(b)=-1，而并非经典哥德巴赫猜想本体。
GPT-6 Astra 即将证明哥德巴赫猜想：数学不存在了？
资讯摘要
匿名账号宣称GPT-6 Astra证明哥德巴赫猜想弱形式，8天连发6个证明引发学界激辩。
AI 摘要
匿名账号 Captain Sude 宣称 GPT-6 Astra 在 8 天内连发 6 个数学证明，其中包括哥德巴赫猜想的 Liouville 弱形式，并附上 Lean 4 形式化验证与独立复核结果。文章梳理了该证明分两天两步的推导思路、机器验证的意义，以及当单个定理证明成本降到数小时量级后，文献中大量长尾开放问题将被重新估值，人的价值转向提出问题与判断价值。
AI 问答
这些证明是如何被验证的？
论文附带 Lean 4 完整形式化验证，有网友对开源 v1.0.0 版本独立复核，确认代码可重新编译、最终定理与论文主张一致、没有 sorry、没有自造公理，249 个偶数数值测试通过。
文章认为 AI 代劳证明后什么发生了变化？
当单个定理证明成本降到几小时，文献里那些“值得做但不值得人类做”的长尾开放问题被重新估值；而选题、判断价值和把单次证明升级为可复用方法，仍需要人来完成。
更多资讯
食言？微信小程序Store上线财政部副部长廖岷会见高盛集团总裁温泽恩
最大买家离场在即：ETH每天超 700 万美元抛压谁来接5 万 star 的 REA：把逆向工程变成 agent 的一项本地能力C盘爆红救星！开源神器 MuRig v1.2.0 发布，支持自定义环境安装路径！当所有人都用AI写内容，你的个人IP靠什么胜出？中国人民银行行长潘功胜会见高盛集团总裁兼首席运营官温泽恩分享一个AI做视频提效10倍的方式SpaceX：猎鹰9号火箭距执行Semp erCitiusSDA任务发射不到一小时七部门：推动电商平台规则向优转型国铁广州局明起实施新列车运行图，多条列车首次开行中金黄金等在河南成立黄金投资公司，注册资本2000万元ICYMI: What landed for AI builders in September 2026人社部：将研究出台服务业发展促就业文件，扩大服务业就业总量大厂夹缝中的Manus人类愿意向女性形象的 AI 智能体支付的报酬低于男性形象智能体巴西起诉壳牌子公司，索赔上亿美元洪灾损失北京：打造开放多元的国际化餐饮消费生态，吸引全球优质品牌集聚广合科技：前三季度净利润同比预增100.33%至107.23%美财长：美国国债已攀升至约41万亿美元规模广东加速推进广韶高速改扩建工作，未来将缓解京港澳高速交通压力13只低估值个股推出大手笔回购或增持计划智能咖啡机 10 天内产生 1TB 数据流量微信聊天记录终于能正经交给 AI 了，官方开的口子不怕封号AI数据中心用电狂飙，美国密西西比州发出电力预警特斯拉在欧洲将 Full Self-Driving 改名为 Tesla Assisted DrivingModStartBlog v11.3.0 安全加固、体验优化，自动化测试更强大北京：增加人工智能手机和电脑、智能机器人等新一代智能终端产品有效供给新思科技与亚马逊达成多年期定制芯片战略IP协议全国性涉外法律服务平台“法通”网正式上线
最大买家离场在即：ETH每天超 700 万美元抛压谁来接5 万 star 的 REA：把逆向工程变成 agent 的一项本地能力C盘爆红救星！开源神器 MuRig v1.2.0 发布，支持自定义环境安装路径！当所有人都用AI写内容，你的个人IP靠什么胜出？中国人民银行行长潘功胜会见高盛集团总裁兼首席运营官温泽恩分享一个AI做视频提效10倍的方式SpaceX：猎鹰9号火箭距执行Semp erCitiusSDA任务发射不到一小时七部门：推动电商平台规则向优转型国铁广州局明起实施新列车运行图，多条列车首次开行中金黄金等在河南成立黄金投资公司，注册资本2000万元ICYMI: What landed for AI builders in September 2026人社部：将研究出台服务业发展促就业文件，扩大服务业就业总量大厂夹缝中的Manus人类愿意向女性形象的 AI 智能体支付的报酬低于男性形象智能体巴西起诉壳牌子公司，索赔上亿美元洪灾损失北京：打造开放多元的国际化餐饮消费生态，吸引全球优质品牌集聚广合科技：前三季度净利润同比预增100.33%至107.23%美财长：美国国债已攀升至约41万亿美元规模广东加速推进广韶高速改扩建工作，未来将缓解京港澳高速交通压力13只低估值个股推出大手笔回购或增持计划智能咖啡机 10 天内产生 1TB 数据流量微信聊天记录终于能正经交给 AI 了，官方开的口子不怕封号AI数据中心用电狂飙，美国密西西比州发出电力预警特斯拉在欧洲将 Full Self-Driving 改名为 Tesla Assisted DrivingModStartBlog v11.3.0 安全加固、体验优化，自动化测试更强大北京：增加人工智能手机和电脑、智能机器人等新一代智能终端产品有效供给新思科技与亚马逊达成多年期定制芯片战略IP协议全国性涉外法律服务平台“法通”网正式上线