标签：AI
腾讯AI Lab 提出解耦推理新框架，破解IMO 数学难题
近年来，大语言模型（LLM）在数学推理领域取得了显著进展，但在形式化数学证明方面却遇到了瓶颈。尽管LLM能够以超过80%的准确率生成非形式化的解题思路，但在...
赵晓卉，你老板知道你用飞书AI爆改绩效评价吗？
飞书的多维表格和知识问答功能在2025飞书未来无限大会中得到了显著升级，展示了其在企业应用中的强大潜力。赵晓卉通过飞书的“超级AI版Excel”爆改了自己的绩效...
饿了么联创悄悄做了一家 AI 公司，专攻效率工具
Orion Arm的成功在于其瞄准了效率工具中用户众多但未被认真优化的场景，通过自动化和降低门槛的思路，重新定义了日程管理和新闻聚合这两个传统领域。尽管工具...
The Information：硅谷投资人都在看华人 Agent 公司
近年来，由华人创业者主导的AI Agent公司逐渐成为硅谷和全球科技界的焦点，吸引了包括OpenAI在内的多家知名企业和投资机构的关注。这些公司开发的AI Agent产...
未来，你的 Agent 怎么付钱？
实现 Agent 自主支付是未来 AI 应用和商业模式的关键方向。随着技术的发展，消费者和企业将能够指示 AI 代理（Agent）代为进行支付操作。例如，客户可以通过...
刚刚，为对抗哥大退学生开发的AI作弊器，哥大学生造了个AI照妖镜
Cluely 是一款由 Roy Lee 和 Neel Shanmugam 共同创办的创业公司开发的 AI 桌面助手，被形容为「人生作弊器」。这款工具能够以透明窗口的形式出现在用户屏幕...
OpenAI反挖四位特斯拉、xAI、Meta高级工程师，目标星际之门
近期，AI领域的人才争夺战愈演愈烈，OpenAI和Meta等科技巨头之间的竞争尤为激烈。OpenAI从特斯拉、xAI和Meta等公司挖来了四位备受瞩目的工程师，包括特斯拉前...
本来今天标题想炸裂一下，飞书没让我用，但确实很炸裂。
飞书大会再次召开，作为飞书的深度用户，作者亲临现场，分享了飞书在其公司中的核心地位。飞书几乎承载了公司所有的管理和协同体系，所有的业务、流程和数据...
高考数学142分，多学科推理MMMU跑分76.0直逼人类专家，Skywork R1V 3.0用强化学习探索跨学科推理
在电影《银翼杀手2049》中，虚拟伴侣Joi通过全息投影与现实世界无缝互动，展现了AI在未来可能具备的高度智能和情感理解能力。然而，现实中要实现这种科幻场景...
美科技巨头角逐五角大楼AI大单 | 企服国际观察
OpenAI与美国国防部签署了一份价值2亿美元的合同，旨在开发前沿AI能力以应对国家安全挑战。这一合作标志着AI技术在军事领域的进一步应用，同时也反映了科技公...
