低调霸榜全球最难SQL榜单超两月,国产AI这次选择高调开源!
低调霸榜全球最难SQL榜单超两月,国产AI这次选择高调开源!没想到一个低调霸榜了全球最权威SQL榜单超过两个月的国产AI,这一次选择了高调开源。如此反差剧情的主角正是蚂蚁数科,在第二届CCF中国数据大会上,它正式宣布:开源旗下数据智能体关键技术——Agentar-SQL系列。
没想到一个低调霸榜了全球最权威SQL榜单超过两个月的国产AI,这一次选择了高调开源。如此反差剧情的主角正是蚂蚁数科,在第二届CCF中国数据大会上,它正式宣布:开源旗下数据智能体关键技术——Agentar-SQL系列。
Google 周五宣布,正式向 Google 翻译引入其 Gemini 模型的各项能力。此次更新不仅带来了能够通过耳机进行的实时语音翻译 Beta 版体验,还大幅提升了文本翻译的语境理解能力,并扩展了应用内的语言学习工具。
人形机器人与具身智能核心零部件领军企业—— 南京因克斯智能科技有限公司(以下简称 “因克斯”)正式宣布,完成近 2 亿元人民币新一轮融资。由华控基金、深创投集团共同领投,普华资本跟投,绿洲资本、锦秋资
还在争论Skills是不是prompt?已经可以停下火了。因为,刚刚得到的消息消息,OpenAI已经悄悄地用上了Skills了。今天,知名博主、Django Web 框架联合创始人Simon Willson爆料:
近日,由美国伊利诺伊大学厄巴纳香槟分校 Huimin Zhao 教授和南京师范大学教授崔海洋等人共同研发出一种名为 EZSpecificity 的 AI 工具,成功给酶装上了智能识别系统,能以前所未有的准确度预测酶和底物之间的匹配关系,相关论文发表于 Nature。
刚刚,AI又破解了一个数学难题!Erdos#1026问题已经被攻克,且给出了正式证明。而在此之前,这个问题已经困扰了数学界50年。陶哲轩在Mastodon上宣布了这一消息,还在一篇博客中详细讲述了这个故事。
近日,浙江大学副教授胡星和团队开发出一款名为 CatCoder 的 AI 框架,它能够读懂一个完整的软件项目,生成准确、可用的代码。在 Java 任务上,它在代码编译通过率和测试通过率上,比业内表现突出的代表之一 RepoCoder 最高提升了 14.44% 和 17.35%。
微软在《Cell》公布了最新成果:GigaTIME能把一张H&E切片翻译成过去稀缺的免疫图谱,并在人群尺度重建TIME。癌症免疫研究的许多旧限制,也因此开始松动。
经常用 AI 的人都知道,大模型在与用户对话前,都会先阅读一段「系统提示词」,这个步骤不会对用户显示,而是模型的自动操作。这些提示词规定了模型的行为准则,很常见,不过在 Claude 的提示词中,竟要求模型参考「欧陆哲学(Continental Philosophy)」。
“人工智能要发展到下一个台阶,一定要突破两座大山。第一座大山是Transformer,第二座大山是反向传播算法。”在大模型规模不断拔高、算力与数据卷到极致的当下,RockAI创始人刘凡平提出了一个与主流共识截然不同的判断。
11 月 30 日,真格举办了一场关于 AI 创业的分享活动。真格管理合伙人戴雨森与 Kimi 总裁张予彤、与爱为舞创始人张怀亭、Manus 联合创始人张涛一同走进清华大学,带来了一场关于创新与未来的深度对谈
在深入技术细节之前,我们先用一张漫画来直观理解 COIDO (Coupled Importance-Diversity Optimization) 解决的核心问题与方案:正如钟离在漫画中所言,面对海量视觉指令数据的选择任务,传统方法需要遍历全部数据才能进行筛选造成大量「磨损」(高昂计算成本)。同时在面对数据重要性和多样性问题时,传统方法往往顾此失彼。
软银、英伟达联手注资机器人独角兽Skild AI。 据报道,软银集团(SoftBank Group)与英伟达(Nvidia)正洽谈联合领投Skild AI一轮超10亿美元的融资。本轮融资后,Skild AI公司估值将达140亿美元。
世界模型赛道,又有老面孔新鲜入局! 就在刚刚,Runway发布旗下首个通用世界模型GWM-1。 不止于此,还打包发布了一系列世界模型变体:模拟真实环境的GWM Worlds;
大家还记得Mira Murati吗?那个曾经主导ChatGPT开发的“AI女王”,OpenAI的前CTO,2024年突然离职后,让整个科技圈炸锅!短短几个月,融资20亿美元,估值飙到120亿美元,现在更传出新一轮融资目标直冲500亿美元!这速度,这手笔,简直是AI界的“神话”!而最近的重磅炸弹来了:他们的首款产品Tinker正式全面开放!不再需要等待名单,人人可用!
GPT-5.2打赢Gemini 3.0 Pro,竟是靠高推理与海量Token「作弊」?网友的这个发现,在AI社区一石激起千层浪。更多网友七嘴八舌表示:GPT-5.2,并没有那么好用!
近日,杭州力文所生物科技有限公司成功完成数千万人民币 Pre-A 轮融资,由金雨茂物领投,君科丹木跟投,舟渡资本担任独家财务顾问。本轮资金将用于加速全原子模型蛋白质设计平台 Pallatom 的迭代升级、商业化管线拓展以及全球人才引入。2021 年,真格基金在种子轮投资力文所,天使轮持续追加投资,一路陪伴公司至今。
网友吐槽GPT-5.2「不通人性」。 X 上充斥着对 GPT-5.2 的恶评。昨天,OpenAI 十周年之际,拿出了最新的顶级模型 GPT-5.2 系列,官方号称是「迄今为止在专业知识工作上最强大的模型系列」,在众多基准测试中,GPT-5.2 也都刷新了最新的 SOTA 水平。
就在最近,豆包上新了图像创作模型 Doubao-Seedream-4.5(以下简称 Seedream 4.5)。 猜猜下面两张图片,哪张是 Seedream 4.5 生成的?哪张是最近风头正盛的 Nano Banana Pro 生成的?
北航刘偲教授团队提出首个大规模真实星座调度基准AEOS-Bench,更创新性地将Transformer模型的泛化能力与航天工程的专业需求深度融合,训练内嵌时间约束的调度模型AEOS-Former。这一组合为未来的“AI星座规划”奠定了新的技术基准。
David Sacks 最近带着他的新产品 Glue 正式走向市场,并刚刚完成了 2000 万美元的 A 轮融资。这个名字你可能很熟悉,他是 PayPal 黑帮成员之一,也是 Yammer 的创始人,更是 All-In 播客的联合主持人
a16z 把旗下的一线投资人聚在了一起,来预测 2026 年的 AI 行业要解决的核心问题和新机会。整体看下来,一个核心趋势:2026 年,AI 已经不仅仅是一个提升效率的工具了,将彻底重塑从工业制造、企业软件到个人体验的方方面面。我们将从单纯「使用 AI」迈入到一个在「AI Native」环境中思考、创造和运营的全新时代。
尽管最近 AI Agent 很火,真正落地到垂直行业里的例子依旧不太多。尤其是我们今天要讨论的行业:非标、分散、高度依赖沟通:达人营销。对于科技公司来说,达人营销非常重要。但是直到今天,很多团队依然在依赖 Excel 表格管理达人,靠人工手动发送成百上千封「碰碰运气」的邮件。
昨天,苹果一篇新论文在 arXiv 上公开然后又匆匆撤稿。原因不明。论文中,苹果揭示了他们开发的一个基于 TPU 的可扩展 RL 框架 RLAX。是的,你没有看错,不是 GPU,也不是苹果自家的 M 系列芯片,而是谷歌的 TPU!还不止如此,这篇论文的研究中还用到了亚马逊的云和中国的 Qwen 模型。
崇“洋”媚外这一块,也是轮到美国网友了!最近,一篇“中国机器人在比火场救人,美国机器狗还在给扎克伯格套脸?”的帖子被顶上了Reddit热门。这多多少少让一众美国网友有点破防。
想象一下,只需要一句话描述,AI 就能为你拍出一部完整的短剧?为了让这个想法变成现实,香港大学黄超教授团队开源了 ViMax 框架,并在 GitHub 获得 1.4k + 星标,专注于 Agentic Video Generation 的前沿探索。通过多智能体协作,ViMax 实现了真正的 "自编自导自演"—— 从创意构思到成片输出的完整自动化,把传统影视制作的每个环节都搬进了 AI 世界。
就在刚刚,DeepMind首席科学家给出惊人预测:2028年最小AGI或将降临,大规模失业就在眼前,如今,人类正站在风暴的十字路口。没有准备的人,将被迎头痛击!
对了,这个工具叫Seko,我相信大家应该也从一些大佬那里刷到过吧。它是一个Agent,只需要给一个方向,就能自动直出剧本、分镜、人物、场景、风格、批量出分镜图、批量转视频,甚至配音,BGM都给你裁剪卡上了,最后导出一个完整的作品。
问题虽然留给大家思考了,但身为一名经济学家,他还是从专业角度为我们勾勒了一幅清晰而令人警醒的图景:当算力、创意、时间这些曾被视为“稀缺”的人类核心优势逐渐被AI吞没,那么以这些稀缺性为基础构建起来的整套经济学逻辑——从资源配置、生产结构到收入分配,无疑也将随之被撼动。
AI领域共分成四个层次:AI技术应用、AI的算法算力、AI的体系架构、AI哲学。其中,「AI哲学」超越AI技术应用、算法算力、体系架构,属于最顶层阶段——「形而下者谓之器、形而上者谓之道」,将超越AI的「器」、「技」、「法」、「术」层面,上升到AI更高的「道」的层面。