「人类挑战」共找到 2184 篇相关文章
登顶Hugging Face论文热榜,LLM重写数据准备的游戏规则
企业数据团队面临数据准备难题,传统方法依赖人工规则,有诸多局限。上海交通大学等机构研究团队综述指出,LLM正推动数据准备从“规则驱动”向“语义驱动”转变,还给出技术选型、评估基准及工程指南。
凭借 27 万小时真机数据,Generalist 可能是最接近“GPT-1 时刻”的顶级机器人团队
Generalist是机器人领域有潜力的公司,凭借27万小时真机数据或达GPT - 1量级,领先6 - 12个月。团队成员来自顶尖机构,技术强,demo展示出模型灵巧性。不过也面临Scaling Law不确定、数据缺口大、商业化场景缺失等风险。
Google Antigravity推出终端沙盒:AI助手终于不会乱删文件了
Google Antigravity推出终端沙盒功能,用内核级隔离技术限制AI代理终端命令在项目工作目录内,解决其误操作系统文件问题。该功能在macOS实现,Linux支持将到,用户反馈有好有坏。
17岁高中生用AI解决数学界难题,陶哲轩、Jeff Dean点赞
17岁高中生 Enrique Barschkis 课间休息时解决埃尔德什第347号问题,引发热议获 Jeff Dean 盛赞。他在陶哲轩等人思路基础上完成证明,用 AI 工具将证明形式化,成果获数学社区认可,标志数学研究进入新阶段。
你的论文有novelty吗?复旦搞了个顶会论文查新系统
复旦大学NLP团队与WisPaper合作研发OpenNovelty系统,用于论文新颖性评估。系统基于大语言模型,强调证据与可验证性,有四步分析流程,已分析1360篇投稿并公开报告,有辅助作用但有局限。
2025最大AI赢家的凡尔赛年度总结,哈萨比斯Jeff Dean联手执笔
谷歌由Jeff Dean和哈萨比斯牵头完成2025年AI年度总结与趋势展望报告。报告梳理八大研究方向,展示谷歌在模型能力、产品集成、创造力赋能等多领域进展,强调安全责任与开放合作。
面向「空天具身智能」,北航团队提出星座规划新基准丨NeurIPS'25
卫星星座成数字经济时代基础设施,但运行背后规划难题待解。北航刘偲教授团队提出首个大规模真实星座调度基准AEOS - Bench,训练内嵌时间约束的调度模型AEOS - Former,为‘AI星座规划’奠定新技术基准。
数学奥赛高分摘金,位列大模型榜首,『书生』科学多模态大模型Intern-S1能力再升级 | 通专融合新进展
2025年CMO决赛首设AI测试,书生科学多模态大模型Intern-S1以102分位列大模型得分榜首,远超金牌线和国家集训队入选线。其推理能力提升得益于多项创新,未来将拓展至多领域科研。
OpenAI成立10周年!Sam Altman 发文:未来10年一定可以实现超级智能
OpenAI成立十周年,Sam Altman发文回顾点滴与突破。从不确定起点出发,团队克服困难,取得多项成果,推出ChatGPT等。他认为未来一年会有更多成果,再过十年几乎肯定能实现超级智能。
CrowdStrike联手Meta发布AI安全基准,让AI在真实网络攻击中证明自己
美国网络安全巨头CrowdStrike与Meta在Fal.Con 2025大会联合推出开源基准测试套件CyberSOCEval,旨在评估AI大语言模型在真实SOC环境下的网络安全能力,它源于Meta之前框架,开源供全球开发者使用。