面壁是一家追求通用人工智能的大模型公司，并选了一条区别于云侧的路线：端侧。

1、b体育登录 曾经，循环双覆盖猜想由几位传奇数学家提出后，就像一座大山横亘在图论领域，让全球顶尖数学家望而却步。

普通人的生活将被如何重构 能写4229行严格证明的模型，手里握着的不只是解数学题的能力。b体育登录审核决策效率提升5到8倍，目前已经稳稳扎进多家头部银行的信贷风控场景。

2、英格兰2-1！可怕的不是赢球，而是图赫尔赛后这番话，踢得很草率

可它偏偏正中靶心，而12个大模型演算104场比赛，敢押佛得角这匹黑马的，只有4个。

3、东北地区铁路首推15日避暑旅游计次票 “关东情·白山黑水享清凉”旅游计次票上线

如果没有那几个较真的开发者去拆解文件，或许这家假实验室已经顺利拿到某家风投几百万美元的天使轮融资了。

4、加图索丨我说服主席和总监同意出售希拉

参考资料： https://arxiv.org/abs/2510.04704 编辑：LRST新智元报道 【新智元导读】全网都说GPT-5.6 Sol的Max档变笨了，OpenAI偏说没降智，只是「做了个实验」，实验中拧动的那个旋钮，Max档从960掉到128，用户看不见。

5、惊天爆冷！西班牙竟0-0战平54万人小国球队！40岁老门将一战成名

KSTAR可以理解为： Know What：当前知道什么； So What：这些知识对于当前情境意味着什么； Then What / Task What：需要完成什么任务； Act What：应该采取什么行动； Result What：产生了什么结果； Learn What：根据结果应该学到什么。

6月18日，Anthropic宣布Claude Code支持Artifacts：把进行中的工作预览成实时、可交互、可分享的网页。

不过，这款模型，普通人暂时碰不到。

6、官方丨米兰与莫德里奇完成续约

他说，这种把算子范数放到对偶范数和内积里去估的路数，本来就是分析里最常用的招之一。

「书生·端砚」并非单纯升级的文献处理大模型，而是一套完整落地「假设推演—仿真计算—实体实验—数据回流」全链路的科学智能系统。

7、节气打卡

这是对AI怀疑论的重重一击：事实之下，谁还认为AI无法或者不会做出科学发现？ 谁能想象5年后AI会发展到何种地步？ 物理教授卡了半年 Claude一夜解开「弦论」难题 半年了，研究毫无进展。

高德ABot架构的诞生，正是在这一行业叙事下应运而生，它与全球顶尖玩家的探索不谋而合。

8、五名嫡系离队鞠伟松回归，山东男篮和邱彪，已等不到秋后算账

一头金发常常裹在头巾里，配上一段段热情洋溢讲信仰的视频，在全球穆斯林中圈起近300万铁粉。

老板为什么这么需要私人助理？主要是因为助理知道老板的上下文——了解老板的脾气秉性、工作习惯、近期在忙什么、哪些人需要对接。

当算力、Token、生产力，这条链到前店才算真正闭合——那些从芯片里一点点挤出来、又被后厂压到极便宜的Token，最终都在真实业务里，变成了看得见的生产力。

9、昆虫为何无法在海洋生存？新研究推翻呼吸系统假说，但谜底依然未解开

GitHub链接：https://github.com/OpenBMB/MiniCPM-Robot Hugging Face链接： https://huggingface.co/openbmb/MiniCPM-RobotManip https://huggingface.co/openbmb/MiniCPM-RobotTrack 性能比肩行业顶尖 机器人不会5次按钮，因为目前的绝大多数VLA模型，都只有「单帧反应」的能力。

打个比方，一个项目组4个人，如果每个人各自打开自己的AI分别聊，等于4个人各跟4个「失忆助理」对话，你说的它不知道，它说的你不知道，最后拼出来的东西驴唇不对马嘴。

10、新闻发布｜黑龙江发布夏季四类重点传染病风险提示

机器人本质上是物理空间的Agent，高德对空间的理解、环境的拓扑结构、语义信息的丰富维度，是其他厂商难以企及的天然养料。

能在光刻机里稳定运转的电机，用在其他任何工业场景，都是纯粹的技术碾压。

1、一水载千年，看见不一样的江苏

模型会一代代换，但你和AI一起攒下的对话、项目、素材，别人拿不走，也复制不来。

2、世界杯精彩：大胜绝杀助欧洲七队争夺四强席位

本届大赛由上海市经济和信息化委员会、上海市科学技术委员会、上海市发展和改革委员会、上海市教育委员会等多部门联合指导，复旦大学、上智院联合主办，上海未来产业基金、上海未来启点社区、祖泉研究院、上海市漕河泾新兴技术开发区发展总公司、上海大模型生态发展有限公司、内蒙古电力交易中心、华为云计算技术有限公司、上海复星医药（集团）股份有限公司、新奥科技发展有限公司、中科天机气象科技有限公司、上海博物馆、湖南省博物馆等单位协办，Datawhale、知乎、魔搭社区、CSDN、InfoQ、WaytoAGI作为生态社区合作伙伴鼎力支持。

3、鸿蒙智行的下一步：一统售价50万元+MPV江湖？

他提出的TUTOR方法把长程任务的自主成功率从8.3%拉到35%。弹无虚发！海上战斗射击火力全开！第73集团军某旅两栖装甲分队进行海上战斗射击考核M = 6。

4、3000名安全高管社区的创建者: 我们正“祈祷不出事”, 因为AI代理已不受控地跑起来了

论文第一作者为浙江大学逯嘉程，通讯作者为浙江大学李渝研究员，并与NVIDIA谢恩泽研究员团队合作完成。

5、温钧翔当选2026怡宝中乙联赛3月/4月最佳青年球员

传统的AI生成流程是：你输一段prompt，它出一张图。

6、Hello APEC！

现在，这座大山被AI在不到一个小时内踏平了。

一个是理论物理的，一个临床基因组，AI跨过了工具和同事之间的那条线。

这组「位置」而非某条固定文本，构成框架统一表达各类目标的核心抽象：无论目标是品牌词、情感倾向、越狱回复框架还是恶意代码，均可归结为「哪些位置需要被着重学习」。

7、对爽约、迟到“零容忍”，高德包车正式上线

AI圈最大的遮羞布被扯下 在视频最后，Max Scherf抛出这场荒诞实验的目的。

训练时，它不只学输入输出之间的统计相关，还把科学规律、实验事实、专家经验一起融进数据构建、样本校验和训练过程。

8、官方：范博梅尔出任比利时队主教练，执教至2028年欧洲杯结束

机器人本质上是物理空间的Agent，高德对空间的理解、环境的拓扑结构、语义信息的丰富维度，是其他厂商难以企及的天然养料。

被触发后，模型会结合当前用户请求，动态生成符合攻击者预设目标、却又自然流畅的响应。

注意，这位工程师分享的，并不是一张静态页面，而是一个能够自动更新、可交互的页面。

项目组要跑一个训练实验，Gemini反对：它认为这个实验会抹掉模型表达「撤回同意」的能力。