➡️
继续阅读
-
张益唐之后最大突破：GPT-6 Astra证明素数间距最多186
GPT-6 Astra将素数间隙上界从240推进至186，并附Lean 4形式化证明，但依赖三个未验证公理，包括数值积分上界。此前人类十二年未突破246，...
-
TÜV莱茵为爱图仕STORM CS32摄影灯颁发LCA证书
TÜV莱茵为爱图仕STORM CS32摄影灯颁发LCA证书，采用“摇篮到坟墓”全生命周期评估，覆盖原材料、生产、运输、使用到废弃各环节，识别环境影响关键点...
-
Allora Labs证明变异AI模型群体性能超单个优化模型
Allora Labs研究表明，在AI模型群体中引入随机变异可提升整体性能，超越单个优化模型。变异群体在环境变化时表现更优，最佳情况下约80%优于优化群体...
-
罩亮前程👙
前几天还在说《买垃圾》，实际上没过几天，我又开始买新的各种有用的无用的小玩意儿了。 来个特写： 除此之外，我还 […]
-
博西家电携旗下两大品牌亮相IFA 2026
博西家电在IFA 2026展出西门子和博世两大品牌新品。西门子推出智能烤箱、洗干一体机、保鲜冰箱及AI咖啡机；博世展示冷冻柜、节能洗烘机、多款空气炸锅、咖...
-
海信在IFA 2026展示V AIOS系统及AI陪伴套件
海信在IFA 2026展示“陪伴式生活”愿景，推出V AIOS系统及AI陪伴套件，该系统基于感知、思考、沟通、执行四大能力，应用于烹饪、洗护及空气能源管理...
