26年6月9日，全球AI资讯约15条：首个AI游戏社区Aippy完成独立融资 估值2.5亿美元、中国团队重新定义计算机 让矩阵归模拟 让逻辑归数字等

AxiomProver是一款革命性的AI数学证明工具，正加速改变数学研究范式。自2024年2月起，它已助力产出8篇arXiv预印本论文，覆盖代数几何、数论等最艰深领域，其中5篇已被权威期刊接收，另有6篇在筹备中——这或是全球首次系统性将“论文+机器可验证证明”同步提交至学术出版流程。

更惊人的是效率：数学家上午提出开放问题，AI下午即输出完整、用Lean语言写成的形式化证明，全程经机器逐行逻辑校验，零容错（差一个符号即报错）。相比传统审稿动辄2–3年、依赖人类专家“人肉背书”的脆弱信用体系，AxiomProver将验证权交给铁面无私的机器裁判，大幅提升可信度与速度。其核心人物之一、00后创始人洪乐潼师从著名数学家Ken Ono，团队背景扎实。

https://www.163.com/dy/article/KUT5CUEK0511ABV6.html

千问与豆包两大头部AI应用不约而同在618前推出核心购物功能：千问上线独立一级入口“AI帮我挑”，深度打通淘宝40亿商品库，覆盖攻略、比价、搭配、送礼等6大决策场景，直击“选什么油更健康”“怎么挑人体工学椅”等真实问题；豆包则推出“买前问豆包”，主打语音交互+预算筛选+成分拆解等实用工具，定位“随叫随到的购物顾问”。

二者表面相似，内核不同：千问走“场景化导购”路线——界面清晰、模块明确，强调专业筛选与效率（口号：“千挑万选，不如问千问”）；豆包走“对话式陪伴”路线——输入更自由、引导更亲切（口号：“购物不决问豆包”）。这不仅是功能之争，更是对用户消费决策入口的争夺。

https://aitntnews.com/newDetail.html?newId=25947

RoboScience机器科学，一家成立仅一年半的中国初创公司，正以惊人速度站上全球机器人技术最前沿。连续两年，其首席科学家邵林带领的新加坡国立大学团队论文入选ICRA“机器人操作与运动”方向最佳论文终选——全球4000+投稿、录用率不足1%，且是亚洲唯一连续两年入选者。

2025年《D(R,O) Grasp》实现跨手型、上百物体的灵巧抓取，成功率超87%；2026年《Bi-Adapt》更进一步，仅凭几个示例即可让双臂机器人泛化操作从未见过的3D物体，甚至零样本迁移。背后是其原创技术范式VLOA：比主流VLA多一个“O”，强调对物体物理演化的理解。系统由“具身世界模型”和“通用操作模型”构成，真正支撑跨物体、跨任务、跨本体的泛化能力。

https://www.ofweek.com/ai/2026-06/ART-201713-8420-30689759.html

过去一年，AI推理成本高企，主因是“慢思考”模型依赖显式思维链（CoT）——解一道数学题需生成数百上千个中间token，既贵又慢。比如，处理复杂数学题的计算开销可达普通对话的10倍以上，且因串行生成，延迟无法绕过。这并非工程瓶颈，而是结构性限制。

UC伯克利与普林斯顿团队提出「隐式思维链」（ICoT）新范式，并首创结构化训练法Log-ICoT：将思维链建模为二叉树，按层级隐藏中间步骤。对16步推理，训练阶段从15次锐减至仅4次。更关键的是，他们首次给出严格数学证明——4层Transformer在多项式样本下，能100%准确求解k-奇偶校验任务，且推理时零中间token输出。这意味着：模型真能把“草稿藏进大脑”，既保推理能力，又省成本、降延迟。

https://m.huxiu.com/article/4865097.html

传统AI芯片（如GPU）解一个512×512矩阵方程，需拆解为上亿次乘加运算，靠迭代“逼近”答案；而安纳智芯采用高精度模拟计算，将方程直接映射到物理电路中，一步完成求解——不是更快，而是计算范式不同。  

关键突破在于：他们攻克了模拟计算长期存在的精度瓶颈，去年实现精度媲美数字芯片（如FP32级），今年芯片已进入流片阶段。更特别的是，他们不跟风做“矩阵乘法”（主流AI推理的核心），而是攻坚更底层、更难的矩阵求逆——即从结果反推原因，这正是大模型训练、自动驾驶状态估计、机器人控制等“逆问题”的核心。  其芯片兼容现有AI基础设施，不依赖3nm/2nm先进制程，功耗低、并行强。

https://www.qbitai.com/2026/06/432062.html

AI游戏社区Aippy正式从赤子城科技剥离，获数千万美元融资，投后估值达2.5亿美元；上线仅两个月，全球下载超300万，月活近200万，UGC游戏突破200万个，DAU互动率高达50%，主打“用一句话生成游戏”，正加速抢占欧美Z世代市场。与此同时，SpaceX敲定IPO关键条款——发行价135美元/股，募资750亿美元，估值逼近1.77万亿美元，即将登陆纳斯达克，或成全球最具价值私营科技公司上市标杆。

国内方面，微信小游戏MAU突破5亿，New Balance年营收达92亿美元，跻身全球第四大运动品牌；天涯社区6月1日重启tianya.net域名，开启历史性回归。这些动态共同印证：AI原生应用、硬科技上市、超级平台生态与经典品牌复兴，正成为新一轮增长主引擎。

https://www.chinaz.com/2026/0608/1757372.shtml

奥比中光，这家被称为“机器人眼睛”的3D视觉龙头，近期因A股机器人板块狂飙而股价创历史新高（6月5日达126.06元，较2024年低点涨5.7倍）。背后是产业加速落地：比亚迪自研人形机器人“尧舜禹”已集结4000人团队，目标2026年内部部署2万台；宇树科技IPO仅用73天过会，英伟达也与其合作推出具身智能机器人——2026年正成为“量产攻坚年”。

但高光之下暗流涌动：实控人黄源浩等核心人员刚解禁即减持，3个月内套现约8亿元（其个人占4.8亿）；同期又抛出9.8亿元定增计划，用于AI视觉研发与产线建设。公司虽技术扎实（近2000项专利），但长期亏损（8年累亏超20亿），2025年才首度盈利1.28亿元，未分配利润仍为-3.8元/股。

https://www.ofweek.com/ai/2026-06/ART-201716-12001-30689839.html

GIM是一家2025年7月成立的金融AI初创公司，立志成为金融界的“DeepSeek”——全球首批从零自研金融垂域大模型的团队之一。近日，公司连续完成超亿元天使轮及天使+轮融资，由赛富基金（阎焱掌舵）领投。核心团队由徐嘉浩和刘琦博士（港大助理教授、DeepMind/Meta前研究员）联合创立，融合顶尖对冲基金、量化机构与大模型公司人才。

GIM专注打造专为投资决策服务的推理大模型，已验证30M→1.5B→8B参数的Scaling路径，独创金融时序编码与非线性门控结构。其研究框架CogAlpha获ACL 2026主会接收，在CSI300选股任务中综合排名第一（超越GPT-4等21个基线）。当前达自动化L3.5级，目标1–2年内实现端到端全自动投资。

https://m.pedaily.cn/news/564923

知天下（苏州）是一家专注3D高斯泼溅（3DGS）技术的AI初创公司，2024年初上线免费3D重建平台，已吸引数万名用户，日均3DGS创作量跃居全球第二，仅次于美国World Labs，超过英国SuperSplat。公司刚完成天使轮融资，由上海众合创投独家投资。

3DGS是一种前沿三维表示方法——把场景建模为成千上万个可学习的3D高斯椭球体，兼具照片级画质、实时渲染能力与深度学习可微性，正被NVIDIA（集成至Omniverse）、World Labs等国际巨头作为核心空间基础设施采用。依托平台积累的PB级真实三维影像数据，知天下正训练国内首个大规模生成式高斯基础模型，目标是让AI不仅能“看懂文字”，更能“理解物理空间”，支撑AR/VR、自动驾驶仿真、数字孪生等应用。

https://aitntnews.com/newDetail.html?newId=25942

国家安全部近日提醒公众警惕“AI中转站”的数据安全风险。这类平台作为用户与国内外大模型之间的“中介”，整合多家AI厂商API，宣称“一键调用、价格便宜、支付方便、绕过限制”，吸引大量用户——目前市面上相关平台超200家，但其中近70%无正规运营资质。

风险突出表现在四方面：一是数据裸奔，部分平台未加密存储用户提问、文件甚至身份证号等敏感信息，存在倒卖训练数据行为；二是模型缩水，用低配模型冒充GPT-4或文心一言4.5，响应准确率下降超40%；三是后门隐患，个别平台暗藏远程控制代码；四是违规出境，超半数未通过国家数据出境安全评估。中央网信办已启动“清朗·整治AI应用乱象”专项行动。

https://www.ofweek.com/ai/2026-06/ART-201712-8110-30689812.html

欢迎大家关注、分享、转发本公众号，也欢迎直接与小编联系 对接合作～