一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

1、bsport 在单点研究的机构里，研究大脑的和死磕灵巧手的彼此割裂。

第二层是Prompt压缩，第三层是上下文裁剪，各自再精准剔掉10%到20%的输入赘肉。bsport这对你我有什么影响？ 以前你想要个趁手的小工具，一个能看板、能查数、点两下就办事的东西，你得会写代码，或者排队等IT、等外包，等一张说不准哪天上线的需求单。

2、1.5B开源通用VLA模型，冲进具身智能第一梯队

KSTAR 佟博士提出KSTAR，不只是为了描述一个智能体任务流程，而是为了提供一种企业认知进化机制。

3、重庆口水姐被行拘！警方发布通报，真实原因曝光，丈夫也遭处罚

在他咨询AI的绝大多数话题上，模型给出的答案，比他能联系到的绝大多数世界级专家更好。

4、文化观澜丨让新疆故事在舞台绽放繁花

传统做法里，手动搭量子电路、调试噪声模型、做数值演算、再把结果绘图汇总，本身就很耗时。

5、男篮世预赛被无视了？中日生死战被CCTV5弃播：篮球又给足球让路

效果用攻击成功率（ASR）衡量，效用用MMLU（5-shot）等基准衡量。

拼长城这种8万块级的超长程任务，考的正是这个。

官方宣传页上白纸黑字写着「local-first」——本地优先，你的代码留在你自己电脑上。

6、昂际智航与亿维特航空签署ET9载人版航电系统适航阶段采购意向书

7月7日，Sam Altman现身太阳谷峰会。

未来AI for Science更需要面向行动能力的Action Scaling，让模型在可执行任务、工具调用、环境反馈和物理验证中学习如何完成真实科研任务。

7、为何越来越多人嫌弃“指纹锁”鸡肋？听听过来人说说心里话：现实！

作为科学智能领域的旗舰赛事，由上智院与复旦大学联合主办的世界科学智能大赛自2023年创办以来已累计吸引全球近6万名参赛者。

那些提交到erdosproblems.com的新证明，凡是我细看过的，全部正确，而且都包含一些有趣的想法。

8、冉莹颖卖惨翻车？知情人曝破产另有隐情，她曾和老总紧密互动

谷歌并不孤独。

怎么办？ 就在今天，商汤在总部举办以「算创·无限」为主题的Agentic时代AI基础设施创新发展论坛。

这次「星火Token Factory」补上的，正是这块地基。

9、观山湖：金馨园社区“一址双服务”办好民生实事

不得不说，这份「执念」本身就够让人后背发凉。

在人类的智商分布里，130分是「天才」的起跑线，全球仅有大约1%的人能站上去。

10、再次装修，庆幸坚持了这7个“装修决定”，入住之后，其乐无穷！

SafeClawArena共406道题，分布在四个维度、24个子类中。

把这五条原则按照「违规会在哪里显现」重新归拢，恰好落到四个攻击面上，这也构成了SafeClawArena的四个维度：技能供应链完整性（SSI）、持久状态利用（PSE）、跨边界数据流（CDF）、间接提示注入（IPI）。

1、封顶！蛇口第一高楼的塔冠藏什么大招？

它精准打通了UniProt与GWAS数据，完整补充了ClinVar与gnomAD中的临床与人群频率信息，构建了立体的突变注释网络。

2、直降超100万！绍兴这精装房被拍卖，门口已贴封条

马斯克骂得直接：诺兰「亵渎」了荷马史诗，为了冲奥斯卡硬塞选角，把古希腊史诗拍成了好莱坞的多元化样板戏。

3、虚增营收超4亿！东方通退市后高管被刑拘，三重追责全面落地！

行业习惯了按Token计费，也就是按燃烧的算力收钱。以笔为刃，激浊扬清！北京网络辟谣优秀作品征集活动已开启，诚邀您用文字还原真相确实，主流做法是把知识存进一个外部库，用时再检索回来，向量检索、RAG，本质都是让模型临时「查一次资料」。

4、“别墅里面唱K”怎么就成了台湾人的跳舞开关

章庆元今天说了一句很实在的话：每个人都需要变成超级个体，最好的方式就是配一个超级助理。

5、22幅 当代画家人物油画

保持投放精准度靠的是一个每天转动的反馈飞轮。

6、《沪苏同城化产融结合研究报告》发布 剖析三大模式与五维对策路径

以恶意插件为例：它以原生代码直接在网关进程里运行，完全不经过大模型，任何只盯着工具调用接口的评测都天生测不到它。

这些高附加值应用场景，为小象电动提供了丰厚的利润支撑，是原始积累的第一步。

MiniCPM-RobotManip通过视觉Token极致压缩，让「有记忆」的推理成本和「无记忆」的推理成本基本持平。

7、对冲基金经理Russell Clark：美债是比AI更大的投机泡沫，AI巨头烧钱是为“防住马斯克”

AI提出一个引理：如果能给每一条边分配一个包含两个元素的集合 ，并且满足对于每一个顶点，任何一个元素要么出现0次，要么出现2次——那么，这个图就一定有「循环双覆盖」。

他们曾在低自由度本体进行测试。

8、这届美国人，从中国“进口”兴趣电商

智能体的负载和聊天机器人完全不是一回事——它要连续思考，要频繁调用工具，要在长上下文里维持记忆。

每一步，选两个数m和n，擦掉，换上gcd(m,n)和lcm(m,n)/gcd(m,n)。

一年之后，这个判断又增添了四类更具体的注脚。

2. 逼它自己验收。