搜索
新智元报道 人类证出来的最难素数定理，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在给汽车机加件、钣金件上下料，在工作台上完成亚毫米级定位；
探索Elser团队背后的故事。 当AI接管代码和影像后，社媒上一度流行“一句话跑出游戏”的各种DEMO演示。 可直到今天，完全用AI打造的现象级游戏，几乎无处寻觅。为什么？在Coding Agent和
昨天，2026科学智能大会在北京中关村国际创新中心开幕。这场大会集结近50位两院院士、80余位青年专家，设置2场全体会议和14场平行会议，举办上百场学术报告，来自政府、高校、科研院所和企业的约2500人到场。
当算力真正成为稀缺资源时，人们会发现，在任何一个机构里，往往只有几十名研究者贡献了大约80%的成果。真正昂贵的不是研究者本人，而是与他配套的算力。因此，如果拥有一定的Token预算，你要把它分配给谁，为什么。
熟悉豆包的用户打开最新版，第一眼看到的可能仍然是那个熟悉的对话框。但只要把模式切换到「工作」，就会发现已经与过去的聊天式 AI 大不一样。现在，它开始直接「做任务」了！