搜索
自从 OpenAI 发布展现出前所未有复杂推理能力的 o1 系列模型以来，全球掀起了一场 AI 能力 “复现” 竞赛。近日，上海交通大学 GAIR 研究团队在 o1 模型复现过程中取得新的突破，通过简单的知识蒸馏方法，团队成功使基础模型在数学推理能力上超越 o1-preview。
今年的AI界依旧让人眼花缭乱，但迈入“应用年”后，大家更加关注落地。
在多模态AI领域，基于预训练视觉编码器与MLLM的方法（如LLaVA系列）在视觉理解任务上展现出卓越性能。
谷歌和OpenAI又杠上了。
就在刚刚，微软公布了世界最大AI Agent生态系统：现在，已经有十万家企业通过Copilot Studio创建智能体了。
人工智能虽然其提供了广泛的信息，却缺乏解决复杂问题所需的深入、结构化的推理能力，同时还存幻觉的局限。形式逻辑和相关数学工具为 AGI 的逻辑推理能力提供了必要的理论基础和技术支撑。
Teleo 自称是一家建筑机器人初创公司，但它的使命远不止于自动化挖掘机和拖拉机等重型设备。如今，Teleo 的改装机械使其客户能够半自主地操作现有车队。在未来，这家初创公司将其收集的数据视为机器人行业实现“ChatGPT 时刻”的关键推动力。
根据一份 SEC 文件 Crusoe Energe ，一家正在建设数据中心的初创公司，据报道将租赁给甲骨文、微软和 OpenAI，正在筹集 8.18 亿美元。
大自然擅长设计蛋白质。科学家甚至更擅长，人工智能（AI）有望帮助人类多次实现定向蛋白质进化。
据 TechCrunch 报道，智能戒指制造商 Oura 宣布于周二获得了来自血糖设备制造商 Dexcom 的 7500 万美元投资。这笔投资标志着 Oura 的 D 轮融资，使公司的估值超过 50 亿美元。