
Know AI. See What’s Next.
第 1 张,共 5 张:Deepseek研究员联手谷歌工程师创业,这家公司正在做Token时代的“智能电网”
最新资讯流

Agent 的下半场,是账单|对话 OpenClacky 李亚飞(在新窗口打开)
让 AI 来管理代码的话,每次读 500 行反而比读 1000 行更费 Token,而且人工编排流程真不如让大模型自己定,「很多的事儿,还是很反直觉的」

菲尔兹奖得主都看懵了:OpenAI非数学模型首次自主突破80年未解数学难题(在新窗口打开)
OpenAI又双叒搞数学了。 内部模型搞定了一道埃尔德什早年提出的单位距离经典难题,已经80年无实质进展。 解决这个问题的还不是数学专家模型,而是一个通用模型。 该内部模型在埃尔德什经典问题上摸出了全新解题思路,连菲尔兹奖得主高尔斯(Timothy Gowers)都直言,这算是实打实头一回,AI自主啃下这种未解数学难题: 这是AI解决的第一个极其著名的、未解的数学问题的清晰案例,也是第一个由AI(自主)实现的数学突破。 负责这款通用推理模型的Noam Brown也放话,要尽快发布!! 打破人类80年固有认知 先说这个数学问题本身。它简单到你能在餐巾纸上画出来,但难到五代数学家都没搞定。 埃尔德

耿同学,一个退学博士是怎么用AI降维打击学术圈的?(在新窗口打开)
学术圈的震中,是一个叫“耿同学讲故事”的B站up主。36天时间里,他连续实名举报了5位985高校院长级学者的论文造假,被点名的无一例外都是手握国家杰出青年科学基金和“长江学者”等头衔的资深学者。

来自 Codex 官方团队的分享:如何把 Codex 用到极致(在新窗口打开)
大多数开发者刚接触代码编辑类的 AI 智能体 (AI Agent) 时,通常只让它们干一件事:写代码。比如让它检查一下代码库,生成个差异对比 (diff),跑跑测试,然后再提个合并请求 (pull request)。

全球排名前三,复旦自进化Harness Engineering让GPT‑5.4再涨7个点(在新窗口打开)
2026 年以来,OpenAI、Anthropic、LangChain 等机构纷纷发布关于 Harness Engineering 的技术博客,OpenClaw、Hermes Agent 等项目的火爆更让 Harness Engineering 成为业界热词。人们的共识正在形成:模型的能力释放,依赖于一套精密的外部框架。

首发| 阿里大牛融资:AI新物种诞生了(在新窗口打开)
“消除人类无聊工作”。 智能体正迎来爆发元年。 正如我们看到融资越来越多了——今日(5月20日),国内AI Agent创业公司未来式智能宣布完成Pre-A轮融资,新进投资方包括凡创资本、中关村资本、探元资本,老股东东证创新、麟阁创投跟投。 这背后是一个大厂系团队——未来式智能创始人兼CEO杨劲松、CSO王骏、COO邹阳,均来自阿里巴巴达摩院。2023年,当基模创业潮席卷,他们选择更早一步,做起Agent。 坚守了三年,Agent赛道终于热闹起来。在今天这个节点,未来式智能也带来了他们筹备已久的全新产品——AI数字专家市场“袋袋”。袋袋类似一个智能体京东,用户可以直接雇佣成品数字员工;各领域专家

全网实测Gemini Omni!一句话改视频,草图变大片(在新窗口打开)
过去AI视频是「生成内容」,Omni直接升级成「生成世界」。它懂动能、重力、因果,还能把复杂概念瞬间可视化。人类距离「言出法随」的梦想,还剩几个Gemini Omni的距离?

一夜告别Token账单!端侧AGI真来了(在新窗口打开)
Agent不再只住在云端——联想携手此芯科技,把190 TOPS本地AI算力装进手掌大小的AI主机,让每个人都能拥有一座7×24小时运行的私人Token工厂。

会用AI的人,反而加班更多了(在新窗口打开)
智联招聘《2025雇佣关系趋势报告》显示,高达78.2%的职场人每周都会借助AI开展工作;另一份调研则指出,近五成职场人在过去一年被要求提升AI使用能力。

AI正在“杀死”评价(在新窗口打开)
央视近日报道,部分电商平台的评论区里,大量AI生成的精美“买家秀”正在取代真实的用户实拍。社交媒体上,不少消费者也在吐槽类似的经历,有些网店里从商品展示图到商品评价里的买家秀,都是由AI生成,仿佛进入一个“楚门的商铺”。

楼上在骂AI,楼下在卖AI(在新窗口打开)
那天晚上,《潘神的迷宫》二十周年4K修复版刚放映结束。灯光亮起,大导演德尔·托罗走上台,直接对着麦克风大喊一句:Fuck AI.

时薪800、学历硕士起:大厂热抢的AI数据“炼金师”到底在做什么?(在新窗口打开)
数据标注正成为一项更有技术含量的工作。 在公众的传统认知里,AI数据标注始终带着某种“数字流水线”的色彩。 它通常意味着坐在电脑前,重复处理着图片、语音或文本,比如给自动驾驶图像逐一框出行人与车辆,为语音系统一句句校对字幕,或者按照既定规则为数据打上标签。其低门槛、低薪资、机械性的特质,堪比AI时代的“电子厂”。 但当大模型浪潮席卷AI行业之后,数据标注行业开始出现一种出人意料的变化。虽然传统数据标注工作仍有庞大需求,但越来越多AI企业,尤其是头部大模型厂商,正在寻找一种更有技术含量的新型标注员。 如今,阿里、字节、DeepSeek、MiniMax等企业的一些相关岗位,不再冠以“数据标注”的名

520,遇见国产「新模王」Qwen3.7-Max!(在新窗口打开)
仅仅一个月后,阿里又带着最强旗舰模型杀回来了!今天上午,在 2026 阿里云峰会上,阿里全新一代千问旗舰模型 Qwen3.7-Max 登场了!在 Arena 公布的最新一期全球大模型盲测总榜中,Qwen3.7-Max 总成绩位列国产模型第一:傲视一众国产大模型

2026年中国AI应用全景图谱报告发布(在新窗口打开)
有一个问题,值得在2026年认真问一次—— 你上一次用AI应用,是让它回答了一个问题,还是让它完成了一件事?

在线教育行业,如何用Milvus混合检索+微调embedding做题库检索与去重(在新窗口打开)
在教育科技领域,题库是核心资产,更是连接学生、教师与知识体系的关键入口。

盘点丨百度那些悄咪咪下线的 AI 产品(在新窗口打开)
AI 时代,个人创新创业变得相对简单了,于是出现了越来越多的 OPC。

硬核!首个AI远程调试器,AixProbe 开源了!有配套Skill技能包(在新窗口打开)
AI 无法触碰硬件,是嵌入式开发的真实痛点,AixProbe 是目前开源社区里第一个系统性地尝试解决这个问题的项目。我做了一个AI远程调试器,名为AixProbe!

太初元碁洪源:异构计算能力将成为未来AI算力基础设施的重要方向|AIGC2026(在新窗口打开)
2026年,AI产业正在进入新一轮高强度算力周期。

阿里亮出Agent超级地基!首发真武M890,甩出128卡超节点算力王炸(在新窗口打开)
今日,在2026阿里云峰会上,阿里云正式亮出Agentic时代 “超级算力地基”。阿里云正式发布磐久AL128超节点服务器,搭载平头哥首次亮相的自研训推一体AI芯片真武M890,搭配自研互联芯片ICN Switch 1.0,单机柜128张AI芯片紧密耦合,组成一台“计算机”。

怎么会有这么离奇的AI4S创业者(在新窗口打开)
5月初的一个上午,我走进杭州西溪附近的一间办公室,眼前的人被同事叫醒,从地板上爬起来。头戴一顶深灰色、紧紧包住脑袋的绒布帽,上身是一件紫色紧身短袖上衣,露出清晰可见的肌肉线条,而下身是一条黑色长裙。



