「数学2.0」共找到 2820 篇相关文章
稚晖君新大招：机器人二次开发0门槛了！
在智元机器人首届合作伙伴大会上，联合创始人稚晖君发布机器人动作与表达创作平台灵创平台。它以AI加持，能将机器人二次开发抽象成模块化工具，降低难度，适配多款机器人，10月上线beta版。
刚刚，Claude Code 发布限速令，下月生效
Anthropic宣布8月底为Claude Pro和Max订阅用户推新的每周使用限制，因其受欢迎但部分用户使用过度、成本高，还有违规共享账号情况。此决定引发网友不满，有人考虑换替代方案。
2025年最有趣开源！把电脑触控板变成电子秤，10秒就能安装玩起来。
TrackWeight是macOS应用，能借助Force Touch压力传感器，把MacBook触控板变成电子秤。使用时打开应用，手指轻触触控板放物体即可测重，可通过DMG等安装，实现原理基于压力感应技术。
刚刚，马斯克发布Grok-4，在各大基准测试上表现太猛了。
马斯克的 xAI 发布 Grok - 4，在各大基准测试表现出色，如 AIME25 拿满分、GPQA 领先等。第三方测评显示其登顶，编码和数学指数居首。价格与 Grok 3 相同，今日上线但价格高，甚至有已售罄情况。
OpenAI获五角大楼2亿美元订单，迈向军工领域
OpenAI推出“OpenAI for Government”计划，为美国政府提供AI工具。首个合作是与五角大楼的试点项目，合同上限2亿美元，用于变革行政运营，州和联邦层面已有应用实例。
无需人工标注！AI自生成训练数据，靠「演绎-归纳-溯因」解锁推理能力
新加坡国立大学等机构研究者提出元能力对齐训练框架，模仿人类推理心理学原理，将演绎、归纳与溯因能力融入模型训练。实验显示，该方法提升模型在多任务上的性能，且有跨领域可扩展性。
「AI大咖谈」顶尖量化机构Quant谈"算法工程师"转量化方向的可能性与优劣势
文章是对顶尖量化机构量化研究员的匿名访谈，探讨算法工程师转量化方向的可能性与优劣势，涉及收入、考核、压力、技能差距等方面，还提及量化岗位分类、市场环境及对机器学习的依赖程度。
字节 Seed 团队发现了 DeepSeek-V4 的一种周期性弱点
本文解读字节Seed团队的研究发现，解释了DeepSeek-V4模型因分块KV Cache压缩存在周期性性能波动，并给出普通用户可直接使用的应对技巧。
刚刚，Claude Fable 5续命5天！省钱攻略来了
7月7日凌晨，Anthropic官宣最强Claude Fable 5限时免费延长到7月12日。开发者给出自救方法，Anthropic也甩出顾问和编排者两套省钱架构，实现成本降低效果。
跨维智能DexWorldModel斩获榜首，世界模型真正的考场在机器人执行里
今年4月，Generalist AI发布GEN - 1，其CEO表示不再将模型归类为VLA。当下VLA和世界模型是具身智能主流技术路线，多数世界模型在机器人任务上有瓶颈。跨维智能DexWorldModel在RoboTwin榜单表现出色，还开源EmbodiChain助力行业。