LM Arena 是一个众包基准测试项目，各大 AI 实验室依赖其测试和推广自家 AI 模型。据彭博社报道，该项目已在种子轮融资中筹集 1 亿美元 ，估值达 6 亿美元。
数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？
判断AI是否智能，评价维度如今已不仅限于刷榜成绩。
大家好，我是「沉浸式学AI」，专注于分享AI前沿技术与实战经验。2025年，要搭建一个真正“聪明又自主”的AI代理，离不开一整套“全家桶”式的开源工具——从大脑（推理、记忆），到肢体（浏览器、桌面操控），再到声音（语音交互），全流程打通。
Flowith 发布了它们最新的 Agent，Neo，这是世界上第一个能够做到无限上下文，无限推理步骤的 Agent，并且它还拥有着无限输出的能力。
随着业务规模的不断扩大和用户需求的快速增长，传统的单体架构在扩展性、灵活性和运维效率等方面逐渐暴露出瓶颈，微服务架构成为当下企业技术架构转型的主流选择。智谱清言作为国内领先的大模型应用之一，基于自主研发的 GLM 模型打造了全能 AI 助手，提供多平台支持和强大的智能体创建能力。
如果用一句话为 2025 年写下注脚，那它不会是某个技术名词，而更像是一种哲学上的转变：“这一年，我们不再是孤立地使用软件，而是与智能的代理人（Agent）共舞，它们正悄然重塑我们的工作与生活。”
可靠的地球系统预测对于推动人类进步和预防自然灾害至关重要。人工智能（AI）为提高该领域的预测精度和计算效率提供了巨大潜力，但在许多领域仍未得到充分开发。
AI无疑是最近最火的技术。随着AI迅猛发展，算力需求呈指数级增长，数据中心正在面临一个问题——功率越来越大，耗电越来越多。
左超Manus，右跨Genspark，GAIA榜单上又一家中国公司登顶！
