
刚刚,GPT-5首次通过「哥德尔测试」!破解三大数学猜想
刚刚,GPT-5首次通过「哥德尔测试」!破解三大数学猜想GPT-5首次通过「哥德尔测试」,连破三大组合优化猜想!甚至,它能自主推翻原有猜想,给出全新有效解法,当场惊呆OpenAI研究科学家。OpenAI科学家Sebastien Bubeck惊叹地表示,这类开放性问题,顶尖博士生往往耗费数日才能解决。
GPT-5首次通过「哥德尔测试」,连破三大组合优化猜想!甚至,它能自主推翻原有猜想,给出全新有效解法,当场惊呆OpenAI研究科学家。OpenAI科学家Sebastien Bubeck惊叹地表示,这类开放性问题,顶尖博士生往往耗费数日才能解决。
该公司周二宣布完成530 万美元种子轮融资,本轮由 Outlander VC 和 Field Ventures 共同领投。埃默里透露,部分投资人源自他上一个创业项目,这些早期投资者又为他引荐了本轮领投机构。其他参投方包括 Hootsuite 创始人联合创立的 LOI Venture、Zenda Capital、8-Bit Capital 以及 Behind Genius Ventures。
奇多多AI学伴机是由无界方舟发布的国内首款基于「端到端实时多模态互动模型」的AI互动机器人,于本月2025外滩大会首次亮相。京东预售仅上线一周,销量便突破了10000台,在看似红海的儿童早教市场掀起波澜。在功能体验方面,它带来了三大突破:能“看”世界的眼睛、堪比真人的低延迟反馈速度、能“成长”的个性化陪伴感。
答案或许渐渐清晰。李飞飞团队与斯坦福 AI 实验室正式官宣:首届 BEHAVIOR 挑战赛将登陆 NeurIPS 2025。这是一个为具身智能量身定制的 “超级 benchmark”,涵盖真实家庭场景下最关键的 1000 个日常任务(烹饪、清洁、整理……),并首次以 50 个完整长时段任务作为核心赛题,考验机器人能否在逼真的虚拟环境中完成真正贴近人类生活的操作。
刚刚,快手可灵AI基座模型再升级,推出可灵2.5 Turbo视频生成模型。AI视频玩家抹一把老泪,终于有AI视频模型让运动员们拥有不鬼畜自由了!a16z合伙人在𝕏上分享了一个可灵2.5 Turbo生成的视频:
在当今社会,工作已不仅是谋生手段,更成为个体身份认同与人生意义的核心源泉。而如今,生成式人工智能(GenAI)正以前所未有的速度与广度重塑我们熟悉的工作环境。
今天继续给大家带来「一页纸」讲透美股公司系列。对国内投资者而言,美股研究资料相对匮乏,导致认知大多停留在几家全球科技巨头,但其实美股存在大量的“隐形冠军”,都录得相当不错的收益。这是一个非常「有钱景」的方向,我会借助 AlphaEngine 的帮助,帮你跨越美股研究的信息鸿沟,每天挖掘一个潜在的美股财富密码。
在运营端,技术融合破解管理痛点:深圳明源云与华为共建 “业务-数据-AI” 三层平台,支撑建设、招商、运营、资管等四大AI场景落地,助力推动不动产投建营业务AI时代的变革。
本论文第一作者张勇为北京理工大学医学技术学院计算机技术专业硕士生,主要研究方向为联邦学习,多专家大模型,多任务学习和并行代理。通讯作者是深圳北理莫斯科大学人工智能研究院梁锋博士和胡希平教授。梁锋博士毕
刚刚上线的“AI抖音求真”,或许也只能治标不治本。
又一所师范大学“杀入”AI赛道!全国已有超600所高校开设人工智能专业。但这一次,是师范院校。近日,陕西师范大学人工智能与计算机学院即将揭牌,这已是近期又一所高调布局AI的师范类高校。
2025 年 9 月,这个未来主义的问题进入了全球最高决策层的视野。美联储率先表态将研究 AI 与代币化支付,紧接着,SEC 前主席 Paul S. Atkins 在巴黎正式将其命名为「代理金融」(Agentic Finance)时代。
文章探讨了人们识别和反感的文本“AI味”,分析其特征(如三段式结构、晦涩用词、密集修辞),并通过与人类文本对比实验(高考作文)发现实际差异主要在修辞偏好(高频对偶、排比、比喻)和套路化表达,但刻板印象不完全准确。研究同时指出人类通过反复修改与AI协作,在应用中去除“AI味”并保留“人味”。
AI播客如豆包和NotebookLM本质是信息压缩工具,通过对话形式摘要文本,但无法复制人类播客的核心价值,包括观点碰撞、情感经验和责任承担。真正播客魅力源于真人不可预测性和风险意愿。AI应作为辅助用于资料整理、剪辑或转写,而非替代主播。名字“AI播客”误导性地暗示创作能力。
9月24日,在杭州召开的云栖大会上,阿里巴巴集团CEO、阿里云智能集团董事长兼CEO吴泳铭发表主旨演讲,他认为实现通用人工智能AGI已是确定性事件,但这只是起点,终极目标是发展出能自我迭代、全面超越人类的超级人工智能ASI。
当芯片像炉子一样发烫,电费狂飙、延迟卡顿、服务掉链子,所有想象中的未来都会被「热」锁死。微软这次亮出的杀手锏,是在芯片里开出液体血管,让冷却液直达发热核心。这AI能不能继续狂奔,价格能不能压住,体验能不能丝滑,都系于这场降温革命。
Nano Banana热度持续升温,谷歌马不停蹄再度发力。发布一款全新的AI画板工具——Mixboard,该工具由Banana提供支持,号称能把任何想法都即时可视化。不管是玩创意点子,还是设计家居装饰,Mixboard都能用自然语言编辑图板,轻松调整或合并图像。
近期,a16z 的研究团队发布了一篇博客文章《Retention Is All You Need》,在分析了数百家 AI 企业的情况后发现:将衡量用户留存率的基准点从第 0 个月(M0)后移至第 3 个月(M3),反而能更清晰地评估 PMF 和 GTM 策略。
新一代旗舰模型Qwen3-Max带着满分成绩,正式地来了——国产大模型首次在AIME25和HMMT这两个数学评测榜单拿下100分!和前不久Qwen3-Max-Preview一致,参数量依旧是超万亿的规模。
当科技巨头们终于调转庞大的船头,驶向这片“新大陆”时,他们发现,早已有人在这里深耕。面壁智能(ModelBest)就是其中最坚定的先行者之一。早在“端侧AI”成为巨头们发布会上的热词之前,这支团队就已笃定云端API路线的局限,并确立了以提升“知识密度”为核心,在端侧“以小博大”的独特技术路径。
直到最近,我发现有两个年轻女孩正在用她们的方式重新定义这个过程。Phoebe Gates和Sophia Kianni,一个是比尔·盖茨的女儿,另一个是联合国最年轻的顾问之一。她们在斯坦福大学的宿舍里开始了一场购物革命,创立了Phia——一个能让购物变得更智能的AI agent。
一个这样的 AI 产品,居然每个月也能搞到几十 K 流量,还在稳步往上走。基本上就是躺着赚的节奏。对那阵子有印象的朋友应该还记得,当时 ComfyUI 很火。但本地部署真不省心,对电脑硬件要求也高,所以很多人干脆租云电脑来用 ComfyUI。
行业首个具备“高刷”视频理解能力的多模态模型MiniCPM-V 4.5的技术报告正式发布!报告提出统一的3D-Resampler架构实现高密度视频压缩、面向文档的统一OCR和知识学习范式、可控混合快速/深度思考的多模态强化学习三大技术。
AI技术应用于小钢球质检,解决人工检测难题:通过视觉系统拍摄清晰图像、训练AI识别微米级缺陷、自动判决。实现从抽检到全检,速度提升100倍至5万颗/小时,准确率达95%,人力成本大幅降。老师傅转变为AI教练,方法可推广至其他领域。
真正在乎软件的人,应该去制造属于自己的硬件。
地方通识教育新学期样本:AI 是锦上添花还是空中楼阁?
时间的流逝,正在成为DeepSeek最沉重的成本
如果说云计算市场的上半场比的是谁胆子大、折扣狠,那么下半场则要拼的是谁口袋深、生态牢,任何战略摇摆都可能被直接踢出牌桌。
2025 年,AI 世界正被无形的张力撕扯: 一边是模型参数的激增,一边是系统资源的极限。
可灵正式发布了他们的 2.5 Turbo (app.klingai.com)版本视频模型,作为超创提前试了一下,这次的进步真的很大。