陶哲轩震撼!数学家1975年埋下的「坑」,被AI和全球网友用48小时填平了
陶哲轩震撼!数学家1975年埋下的「坑」,被AI和全球网友用48小时填平了刚刚,AI又破解了一个数学难题!Erdos#1026问题已经被攻克,且给出了正式证明。而在此之前,这个问题已经困扰了数学界50年。陶哲轩在Mastodon上宣布了这一消息,还在一篇博客中详细讲述了这个故事。
刚刚,AI又破解了一个数学难题!Erdos#1026问题已经被攻克,且给出了正式证明。而在此之前,这个问题已经困扰了数学界50年。陶哲轩在Mastodon上宣布了这一消息,还在一篇博客中详细讲述了这个故事。
就在刚刚,DeepMind首席科学家给出惊人预测:2028年最小AGI或将降临,大规模失业就在眼前,如今,人类正站在风暴的十字路口。没有准备的人,将被迎头痛击!
今天一睁眼,大家都被OpenAI十周年的生日祝福刷屏了。转眼间,这个改变了全世界的AI初创,如今已经成为巨头。凌晨,和GPT-5.2一起来临的,还有OpenAI的十周年。OpenAI发布了一支短片,配文只有两个词:「10年」。
智能体(Agent),即基于语言模型且具备推理、规划和行动能力的系统,正在成为现实世界 AI 应用的主导范式。
小扎一手打造的AI王朝,被新旧势力撕开了口子。一个赌神性,一个要广告;一个砸钱如流水,一个被逼到离职。至于那传说中的「牛油果」,能不能救场?
Jenny 创立的 Robyn 刚刚完成了 550 万美元的种子轮融资,由 M13 领投,Google Maps 联合创始人 Lars Rasmussen、Canva 早期投资人 Bill Tai、前雅虎 CFO Ken Goldman 等人参与投资。
觉得大模型消耗的算力过大,英伟达推出的8B模型Orchestrator化身「拼好模」,通过组合工具降本增效,使用30%的预算,在HLE上拿下37.1%的成绩。
今年 10 月,专注构建世界模型的 General Intuition 完成了高达 1.34 亿美元的种子轮融资。这笔融资由硅谷传奇投资人 Vinod Khosla 领投,这是他自 2019 年首次投资 OpenAI 以来开出的最大单笔种子轮投资,也标志着他在 LLM 之后对下一代智能范式做出的一次重大下注。
我一直觉得自己写东西挺随性的,没什么固定套路。 直到被一个 AI 工具打脸。 它让我上传几篇旧稿,几十秒后出来一份报告,告诉我: 你的逗号句号比是 0.778。 你的中位句长是 26 字。 你爱用对比结构。
种子轮拿到数百万美元融资、估值近千万,朱啸虎的金沙江创投、高瓴创投和 Classin 共同投资。 Refly.AI 给自己的定位是更适合大众的 Vibe Workflow 产品。 为什么要做 Vibe