AI日报
无问芯穹CEO谈算力变革;字节发布数学新模型Seed-Prover;腾讯混元开源4款小模型;OpenAI展示GPT-5实测;蚂蚁推出AlignXplore个性化AI | 08月04日AI资讯
00 分钟
2025-8-4
2025-8-4
slug
summary
tags
icon
password

对话无问芯穹CEO夏立雪:算力储备的新叙事与国产芯片的新任务

无问芯穹CEO夏立雪在WAIC2025上讨论了算力产业的变革,强调算力需从大型集群转向更灵活的服务,以满足多样化的推理需求。国产芯片在AI产业中逐渐崭露头角,需整合生态资源以提升使用效率。未来的计费模式将更注重按token计费,推动算力的普惠化和透明化。夏立雪认为,AI的短期被高估而长期被低估,未来多智能体协作将成为生产力的新引擎。

字节Seed数学新模型,SOTA了

字节发布了全新的数学解决模型Seed-Prover,超越了谷歌的AlphaGeometry2,成功解决了78.1%的IMO难题,并在普特南数学竞赛中表现优异。该模型采用引理式证明,结合了专用的几何推理引擎Seed-Geometry,建立了一个包含2.3亿个几何问题的库,达到了IMO金牌水准,展示了卓越的泛化能力和几乎100%的正确率。

手机也能跑,腾讯混元一口气开源4款小模型

腾讯混元团队开源了四款小语言模型,分别为0.5B、1.8B、4B和7B,适用于低功耗设备如手机和笔记本电脑。这些模型具备快速推理和高性价比的特点,支持复杂任务的处理,并在多个领域表现出色。模型的上下文窗口达到256k,能够处理超长内容,已在多个核心业务中得到应用,提升了用户体验和准确性。腾讯的开源行动在中国AI领域引起广泛关注,推动了智能体AI的发展。

奥特曼首晒GPT-5实测!被曝使用超级对齐团队“遗产”

GPT-5的最新实测引发关注,展示了其在编码规则重写和处理真实工程问题方面的能力。使用了超级对齐团队的“通用验证器”技术,提升了模型的准确性和可读性。同时,研发过程中面临高质量训练数据不足和模型性能转化落差等挑战,可能影响发布后的表现。

告别复杂提示词!蚂蚁新方式让AI自动理解你的个性化需求

AlignXplore是一种通过强化学习提升AI个性化理解能力的方法,能够根据用户行为动态更新偏好。该模型通过冷启动训练和强化学习两个阶段,支持流式偏好推断,显著提高生成效率和灵活性。实验结果显示,与传统模型相比,AlignXplore在个性化对齐任务上取得了显著提升,展现出高效性、泛化能力和鲁棒性,标志着在个性化AI领域的一次重要尝试。
上一篇
OpenAI发布GPT-4.1全家福;英伟达5000亿美元投资AI基础设施;DeepSeek-V3降本方法公开;谷歌AlphaEvolve突破数学难题;讯飞AI耳机用户破百万 | 05月15日AI资讯
下一篇
Andrew Tulloch拒绝Meta 15亿Offer;DeepMind哈萨比斯谈AI未来;九天大模型3.0性能提升35%;Qwen-MT翻译模型实测表现优异;OpenAI IMO团队突破数学问题 | 08月03日AI资讯