标签： 系统化

OpenAI近日表示，其最新通用推理模型自主给出了一条原创数学证明，推翻了一项自1946年由著名数学家保罗·埃尔德什（Paul Erdős）提出、悬而未决的几何猜想。 OpenAI称，这 … 继续阅读 OpenAI称已解决了一道存在80年的数学难题

【CNMO科技消息】5月12日，理想汽车创始人、CEO李想在社交媒体发文，正式宣布公司自研的马赫M100芯片首次亮相，并将率先搭载于全新理想L9 Livis车型。 李想在发文中提出了对芯片行业发展趋势 … 继续阅读 理想自研马赫M100芯片正式官宣 单芯算力1280TOPs

4月21日消息，据彭博社援引英国《金融时报》报道，亚马逊创始人杰夫·贝索斯（Jeff Bezos）的AI创业公司Project Prometheus即将敲定一笔100亿美元（约合人民币6 … 继续阅读 曝贝索斯融资100亿美元，押注物理AI

快科技4月7日消息，REDMI K系列全新成员K90 Max今天正式官宣，该机定位游戏性能旗舰，是K系列有史以来最强的“性能魔王”，将于本月正式登场。 官方表示，该机要打造无短板游戏体验，对标全价位段 … 继续阅读 REDMI K90 Max来了！卢伟冰：对标全价位段游戏表现

新智元报道 编辑：犀牛 【新智元导读】Karpathy让Agent通宵跑了110次实验把模型练强后说了句「去桑拿了」，然后开源630行代码的autoresearch，一块GPU就能拥有一个永不下班的A … 继续阅读 刚刚，Karpathy惊呼“后AGI”！AI通宵狂改110次代码，他去蒸桑拿

IT之家 2 月 28 日消息，交通运输部党组书记、部长刘伟今日主持召开部务会，审议《交通运输部关于加快建设现代化航海保障体系的意见》《高速公路“手机 +”无卡便捷通行实施方案》《交通运输碳足迹核算指 … 继续阅读 交通运输部：稳妥有序推进高速公路“手机+”无卡便捷通行服务

我不是程序员，编程能力也一般，但是前两天我花了一个下午用 Claude code 和 Claude agent sdk，在自己的服务器上构建了一个完整的个人 AI agent 小助手，虽然还比较粗糙， … 继续阅读 普通人更要多动手：聊聊我把Claude Code变成个人助手后的那些事

5500台销量背后：揭开宇树人形机器人“真实买家”画像。 智东西1月29日报道，近日，2026年春晚再次引入宇树科技作为春晚机器人合作伙伴。在2025年春晚上，其人形机器人曾成为全民话题，在高密度灯光 … 继续阅读 年销5500台全球第一，谁在买宇树的人形机器人？

凤凰网科技讯 1月29日，机器人公司宇树科技宣布开源其视觉–语言–动作（VLA）大模型 UnifoLM-VLA-0。该模型旨在解决传统视觉语言大模型（VLM）在物理交互中的局限 … 继续阅读 宇树开源多模态视觉语言大模型UnifoLM-VLA-0

IT之家 1 月 26 日消息，上海交通大学 1 月 25 日发布光学领域垂直大语言模型 —— Optics GPT（光学大模型），这是完全自研的国产模型，能够深度理解光学原理，为科研、设计与教学提供 … 继续阅读 全国产自研，上海交大发布光学领域垂直大语言模型Optics GPT