深度专题 FEATURES — 2
Imagine 2.0:Grok把修图变成点选操作
Grok Imagine 2.0 把修图变成点选局部再改,真正的升级是少重画、少返工。
AI开始设计完整病毒基因组
AI首次生成并验证完整可用的噬菌体基因组,能力跃迁也让生物安全问题更具体。
速览 BRIEFS — 7
NEWS
GPT-5.6碰上25年数学难题
AI协助把MIMO检测推到理论阈值,但证明仍待同行独立核验。
NEWS
INT4位运算有了形式化证明
Z3自动找出INT4点积位运算,再由Lean 4证明它没有遗漏边界情况。
NEWS
模拟计算的误差不是渐进恶化
模拟存内计算并非随噪声缓慢退化,而可能越过临界点后准确率骤降。
NEWS
摩尔线程筹划赴港上市
摩尔线程筹划赴港上市,国产GPU厂商正进一步连接境外资本市场。
NEWS
苹果试探采购长鑫存储芯片
苹果测试长鑫DRAM以缓解供应压力,但尚未下单,交易还将面对美国政治审查。
NEWS
AI心理咨询填空,也在制造风险
AI聊天机器人正在填补心理咨询缺口,也把误导、依赖和危机漏判带进高风险场景。
NEWS
Claude帮人用蓝牙找回手机
Claude临时写出蓝牙信号仪,帮用户在办公室找回手机,展示AI生成一次性小工具的实用性。