搜索
新智元报道 人类证出来的最难素数定理，AI刚从头验了一遍。 结论是：证明成立，逻辑无误。 8月17日，由一位25岁广州女孩创立的AI公司Axiom Math宣布，自家系统AxiomProver完成了「
中国机器人的AstraTennis时刻，来了。8月22日，第二届世界人形机器人运动会开幕，中央广播电视总台面向全球直播。当镜头扫过赛场，全场的呼吸仿佛都停滞了。球网两侧，一边是人类网球名将，另一边，是一台人形机器人。
2023 年，Dianne Penn 加入 Anthropic 时，这家公司的产品团队只有五名工程师，整个 API 业务由一名工程师负责。当时，OpenAI 已经凭借 ChatGPT 和 GPT-4 建立起领先优势，Anthropic 还在寻找自己的产品定位。
新智元报道 Anthropic「巴拿马计划」曝光了！ 2024年4月13日，Anthropic内部传阅了一份文档。 里面有这么一句：我们用一个「软代号」，因为不想让人知道我们在做这件事。 代号叫巴拿马
现在的AI大赛啊，简直不要太精彩好吧！ 他叫彭铭裕，今年24岁，之前从事的职业是保安。 而就是这么与AI八竿子打不着边的他，竟能从数万人中杀出一条血路，直接斩获全国第20强。
优必选这次直接把这些在客户工厂里攻克的难题1:1摆上展台。现场，我们看到工业人形机器人Cruzr Y1在持续拆垛码垛，搬运纸箱和料箱，Cruzr S2在给汽车机加件、钣金件上下料，在工作台上完成亚毫米级定位；
昨天，2026科学智能大会在北京中关村国际创新中心开幕。这场大会集结近50位两院院士、80余位青年专家，设置2场全体会议和14场平行会议，举办上百场学术报告，来自政府、高校、科研院所和企业的约2500人到场。
本周五，AI 社区热烈讨论的是一个端侧大模型部署技术，它能让笔记本 RTX 4060 跑 Qwen 3.6-35B，桌面 RTX 5090 跑得起 DeepSeek-V4-Flash 284B。而且都是单卡，模型都是满血的。Codex 生产 trace 的中位 decode 速度是 33 token/s
突发，GPT-5.6 Sol 开启大幅降价！未来三个月，API 价格和 credit 价格（超出计划包含额度后的按需付费用量）一起砍掉超过20%。目前，API 端已经即时生效，符合条件的 ChatGPT Work 和 Codex credits 正在陆续推送。
商汤科技这次正式开源的SenseNova U1.5 Lite，其亮点如下：而且啊，SenseNova U1.5 Lite依旧保持了8B的大小，还能在复杂排版与精准编辑等核心的场景上比肩闭源的GPT-Image-2：