没想到一个低调霸榜了全球最权威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创始人刘凡平提出了一个与主流共识截然不同的判断。
