挑战AI数学推理极限！大规模形式化数学基准FormalMATH发布，最强模型成功率仅16%
挑战AI数学推理极限！大规模形式化数学基准FormalMATH发布，最强模型成功率仅16%最强AI模型面对5560道数学难题，成功率仅16.46%？背后真相大揭秘。
来自主题: AI技术研报
10778 点击 2025-05-08 10:36
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
最强AI模型面对5560道数学难题，成功率仅16.46%？背后真相大揭秘。
谷歌重磅发布第七代TPU Ironwood，专为推理设计，性能较从初代飙升3600倍，可与英伟达B200一较高下。不仅如此，谷歌还带来了Veo 2等多款模型全新升级，就连「谷歌版」MCP协议也公布了。
“最强AI语音”的场景化突围。
印象中最早出现的是 Cursor，前 Scale AI 员工创立。
皮衣老黄，带着最强AI芯片GB300闪亮登场“AI超级碗”GTC，燃爆全场！
AI研究智能体全新升级！Meta等推出MLGym，一个专门用于评估和开发LLM智能体的Gym环境。MLGym提供了标准化的基准测试，让LLM智能体在多任务挑战中展现真正实力。
谷歌团队发布LLM硬核技术教科书，从「系统视图」揭秘LLM Scaling的神秘面纱。Jeff Dean强调书中藏着谷歌最强AI模型Gemini训练的更多信息。
一周Mac三连发，压轴场MacBook Pro终于来了，也宣告着M4全系芯片诞生。最强性能野兽M4 Pro、M4 Max采用第二代3nm工艺，快到起飞续航长达24小时。
OpenAI 最近又有了新动作，这次他们的野心更大了。
未来的大模型，或许都是 A 卡来算的？ 从 PC 端到服务器，AMD 一次发布就完成了对 AI 计算的全覆盖。 今天凌晨，AMD 首席执行官苏姿丰（Lisa Su）在旧金山举行的 Advancing AI 2024 活动上发布了全新一代 Ryzen CPU、Instinct AI 计算卡、EPYC AI 芯片等一系列产品。