
轻松拿捏高等数学,LLM平均得分90+!GPT-4o、Mistral几乎没错
轻松拿捏高等数学,LLM平均得分90+!GPT-4o、Mistral几乎没错在32道高等数学测试中,LLM表现出色,平均能得分90.4(按百分制计算)。GPT-4o和Mistral AI更是几乎没错!向量计算、几何分析、积分计算、优化问题等,高等AI模型轻松拿捏。研究发现,再提示(Re-Prompting)对提升准确率至关重要。
在32道高等数学测试中,LLM表现出色,平均能得分90.4(按百分制计算)。GPT-4o和Mistral AI更是几乎没错!向量计算、几何分析、积分计算、优化问题等,高等AI模型轻松拿捏。研究发现,再提示(Re-Prompting)对提升准确率至关重要。
斯坦福李飞飞团队在「保姆型」机器人上新突破!提出BRS综合框架,以后机器人执行日常家务更自主、更可靠。
百度再战AI社交。
每年开春的“新机潮”,今年出尽风头的是DeepSeek。
硅基智能开源数字人模型,1秒克隆生成4K视频,支持离线多语言。GitHub可部署。
o3-mini成功挑战图论中专家级证明,还得到了陶哲轩盛赞。经过实测后,他总结称LLM并非是数学研究万能解法,其价值取决于问题得性质和调教AI的方式。
和雇主用的AI招聘工具们来一场“中门对狙”
首次将DeepSeek同款RLVR应用于全模态LLM,含视频的那种!
从随机残基分布开始,逐步生成新的蛋白质结构
挑战多图数学推理新基准,大模型直接全军覆没?!
前段时间,幻方科技、DeepSeek 创始人梁文锋亲自挂名的一篇论文传遍了全球互联网。
没有任何冷启动数据,7B 参数模型能单纯通过强化学习学会玩数独吗?
今天给大家看个新东西,聊一聊我在怎么防AI洗稿。。。
o1/o3这样的推理模型太强大,一有机会就会利用漏洞作弊,怎么办?
武汉大学等发布了一篇大型视觉语言模型(LVLMs)安全性的综述论文,提出了一个系统性的安全分类框架,涵盖攻击、防御和评估,并对最新模型DeepSeek Janus-Pro进行了安全性测试,发现其在安全性上存在明显短板。
为什么必须像评估劳动力一样评估LLM代理,而不仅仅是评估软件。
本文介绍了一项突破性的AI推理技术创新——思维草图(SoT)框架。该框架从人类认知过程中获取灵感,通过一个200M大小的路由模型将LLM引导到概念链、分块符号化和专家词汇三种推理范式,巧妙地解决了大语言模型推理过程中的效率瓶颈。
在 ICLR 2025 中,来自南洋理工大学 S-Lab、上海 AI Lab、北京大学以及香港大学的研究者提出的基于 Flow Matching 技术的全新 3D 生成框架 GaussianAnything,针对现有问题引入了一种交互式的点云结构化潜空间,实现了可扩展的、高质量的 3D 生成,并支持几何-纹理解耦生成与可控编辑能力。
自 2025 年伊始,Cursor、WindSurf、Trae 等 Agentic AI 编程工具开始席卷开发领域。然而与过往的 GenAI 技术类似,这些 Agentic AI 技术同样面临着小规模 demo 惊艳,产品化实战翻车的困境——它们生成一两千行的小型原型轻而易举。自我迭代、自动 Debug、快速交付,整个过程行云流水。
北京时间3月10日,彭博科技报道称,ServiceNow公司接近达成收购人工智能公司Moveworks的交易,交易价格接近30亿美元。
ChatGPT 平地一声雷,打乱了很多人、很多行业的轨迹和节奏。这两年模型发布的数量更是数不胜数,其中文本大模型就占据了 AIGC 赛道的半壁江山。关注我的家人们永远都是抢占 AI 高地的冲锋者。
随着推理模型能力提升,本周Agent也进入刷屏周。
2024 年 9 月 22 日,三位年少有为怀揣创业理想的有志青年,来到了特工宇宙杭州线下办公室,一起交流 AI 搜索的技术和未来。
Magma是一个新型多模态基础模型,能够理解和执行多模态任务,适用于数字和物理环境:通过标记集合(SoM)和标记轨迹(ToM)技术,将视觉语言数据转化为可操作任务,显著提升了空间智能和任务泛化能力。
开源微调神器Unsloth带着黑科技又来了:短短两周后,再次优化DeepSeek-R1同款GRPO训练算法,上下文变长10倍,而显存只需原来的1/10!
哪些学科和AI的结合有哪些错位?
AI将被赋予情感。
创造智能时代的终极图景 —— 一个虚实交融、万物互联的实时数字孪生世界
微软宣布将在2027年底前追加投资54亿兰特(约2.97亿美元),扩大其在南非的云计算和人工智能(AI)基础设施,以满足Azure 云服务在该地区不断增长的需求。此外,该公司还计划为5万名南非学员提供云架构、人工智能和网络安全等高需求技能的认证考试费用,以助力本地人才发展。