摘要：
4月30日，中国AI企业深度求索（DeepSeek）在Hugging Face社区正式开源DeepSeek-Prover-V2-671B，以6710亿参数规模刷新全球数学推理模型参数纪录。该模型在形式化定理证明任务中创下88.9%的通过率（MiniF2F-test数据集），超越此前SOTA模型37个 阅读全文
posted @ 2025-05-04 05:03
吴建明wujianming
阅读(235)
评论(0)
推荐(0)
摘要：
中国机器人圈最近正经历着冰火两重天：一边是机器人产业热火朝天，一边是机器人比赛整体降级。 对比蒙太奇的场景正在发生——宇树二上春晚、机器人马拉松片段铺天盖地、王兴兴稚晖君机器少年梦的故事刷屏，机器人从梦想被拉近现实，妇孺皆知街谈巷议。 但被机器人圈称为机器人摇篮的两大赛事：萝卜坑和萝卜马，却悄悄地从 阅读全文
posted @ 2025-05-04 04:55
吴建明wujianming
阅读(68)
评论(0)
推荐(0)
摘要：
添加图片注释，不超过 140 字（可选） 据多家媒体报道，由特斯拉和SpaceX早期投资人马斯克参投的飞行汽车公司Alef Aeronautics宣布，其电动飞行汽车Model A在美国一条封闭的公共道路上成功完成试飞，标志着这一革命性交通工具的研发取得了重大突破。 添加图片注释，不超过 140 字 阅读全文
posted @ 2025-05-04 04:48
吴建明wujianming
阅读(82)
评论(0)
推荐(0)
摘要：
6本书推荐《MLIR编译器原理与实践》、《ONNX人工智能技术与开发实践》、《AI芯片开发核心技术详解》、《智能汽车传感器：原理·设计·应用》、《TVM编译器原理与实践》、《LLVM编译器原理与实践》 由清华大学出版社资深编辑赵佳霓老师策划编辑的新书《MLIR编译器原理与实践》已经出版，京东、淘宝天 阅读全文
posted @ 2025-05-04 04:41
吴建明wujianming
阅读(13)
评论(0)
推荐(0)
浙公网安备 33010602011771号