「AI解数学题」共找到 9960 篇相关文章
GAIR Live 预告｜世界模型——通向通用智能的关键拼图
随着AGI议题升温，‘世界模型’成前沿焦点。GAIR Live将邀顶尖学者与专家，探讨其定义、趋势等问题，还有直播议题如Lecun观点看法、不同领域世界模型差异等。
1.5B参数撬动“吉卜力级”全能体验，国产开源之光多模态统一模型，来了
GPT-4o引发“吉卜力”风暴，改变AIGC范式。昆仑万维开源多模态统一模型Skywork UniPic，1.5B参数就能接近甚至超越十几亿参数专用模型，可在消费级显卡运行，还公开全套资源。
拥有Github 的微软终于出手，发布一键生成全栈应用的GitHub Spark！
微软发布GitHub Spark，能以自然语言生成全栈应用并一键部署，默认用Claude Sonnet 4。它遵循微应用理念，有强大功能体系，深度集成GitHub。开发者看法不一，目前向Copilot Pro+用户开放，或改变市场格局。
大模型训练的不稳定性有望彻底解决，MIT新研究用谱正则化替代层归一化
MIT团队创造Lipschitz Transformer，用谱正则化替代层归一化，认为或解决训练不稳定根本原因。他们对比多种方法权衡，发现Muon + 奇异值裁剪推动权衡边界，且工作完全开源。
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
八大顶尖机构推出开源定理证明器Goedel - Prover - V2，有32B和8B两版本。它在多个基准测试击败671B的DeepSeek - Prover，采用创新技术，以少算力刷爆SOTA，十位华人是核心贡献者。
Transformer危！谷歌MoR架构发布：内存减半推理速度还翻倍
谷歌推出全新底层架构Mixture-of-Recursions（MoR），推理速度提高2倍、KV内存减半，首次在单一框架实现多任务处理与动态分配计算资源，研究人员通过实验验证其性能超Transformer。
谷歌T5Gemma重燃架构之战！「套壳」反杀Gemma本尊，9B推理快得离谱
2023年以来大模型战场由decoder - only架构主导，Google双线出击。T5Gemma重燃encoder - decoder架构战火，性能提升显著；MedGemma坚守decoder - only路线，强攻医疗多模态，击穿闭源壁垒，打响开源反击战。
奥特曼反击挖走4人！Meta华人科学家在列，马斯克也躺枪
被挖走8人后，OpenAI反击。总裁称4人将加入，有Meta华裔科学家Angela Fan，还有3人来自马斯克旗下公司。此次有两名华人加入Scaling团队，OpenAI将加速使命惠及大众。
训练大模型玩《反恐精英》：自带外挂一枪爆头，堪比职业玩家
动视暴雪、斯坦福大学和英伟达等研究人员基于职业玩家游戏数据和Transformer架构，开发游戏大模型MLMOVE。在《反恐精英：全球攻势》测试中，它表现出色，性能超现有机器人，还具提前预判移动等创新。
不死的程序员
文章回顾计算机技术演进中八次“程序员替代论”浪潮，从编译器诞生到如今大语言模型崛起。虽每次都预言程序员被取代，但实际是角色重塑、分层，新需求增长超人力节省，程序员价值仍在。