陶哲轩认为数学 2.0 时代应降低解决难题的核心地位
OpenAI 公布了一份报告,称其一款尚未发布的前沿模型解决了数百个数学难题,其中之一是四维挂谷猜想,今年的菲尔茨奖得主王虹就是因为证明三维挂谷猜想而得奖。UCLA 数学家陶哲轩对此评论说,在传统数学的 1.0 时代,知名难题的证明通常会引…
技术文章、教程与实践经验分享
OpenAI 公布了一份报告,称其一款尚未发布的前沿模型解决了数百个数学难题,其中之一是四维挂谷猜想,今年的菲尔茨奖得主王虹就是因为证明三维挂谷猜想而得奖。UCLA 数学家陶哲轩对此评论说,在传统数学的 1.0 时代,知名难题的证明通常会引…
据雷峰网多方获悉,腾讯混元原视觉大模型算法中心负责人胡瀚创业项目已取得新进展:方向仍聚焦多模态,计划融资数千万美元,目标估值达数亿美金,远识资本担任本轮融资 FA。多位了解该项目的投资人告诉雷峰网,过去一个月,已有多家投资机构与胡瀚接触。商…
云栖大会,解开市场对阿里大模型的三个疑惑。 作者丨胡敏 编辑丨刘伟 今年云栖大会,变化格外明显。参加过多年的人,打开主论坛议程就能感受到,和往年很不一样。在吴泳铭发言之后,第一个登台分享的是千问大语言模型负责人刘大一恒;紧随其后的是ATH技…
作为中国发光学奠基人徐叙瑢院士的学生,十一年里,李远一直在做一件事:给机器造一双“眼睛”。这些“眼睛”上天、下水、上路,装进了无人机、列车、汽车和各类机器人。今天,当所有人开始讨论物理 AI,他也在重新思考:这双眼睛除了帮助机器看见,还能不…
文章链接:https://www.reddit.com/r/ClaudeAI/s/mbe5IY2LF9 评论链接:https://news.ycombinator.com/item?id=50002665 得分:132 评论数:58
https://github.com/openai/math/blob/main/history.md 评论链接:https://news.ycombinator.com/item?id=50002650 得分:276 评论数:557
OpenAI 正在 ChatGPT 和 Codex 中嵌入机器可读的水印技术 textGrain,该水印最初将主要针对欧盟地区的用户。OpenAI 称其水印技术不逊色甚至优于其它水印方案如 Google DeepMind 的 SynthID…
近日,赛迪顾问正式发布《2025-2026年中国网络信息安全市场研究年度报告》。报告显示,2025年中国网络信息安全市场规模达930.8亿元,行业进入存量优化、结构调整的过渡期。在市场结构性分化加剧的背景下,奇安信集团以43.9亿元的营业收…
断舍离从来不是为了追求极致的空旷,而是为了在混乱的生活里,重新夺回对空间的掌控权。查看全文
常春藤、线性、华山资本跟投,AIR副教授詹仙园任首席科学家。作者丨邓哲敏编辑丨齐铖湧雷峰网·鲸犀独家获悉,清华大学智能产业研究院(AIR)首届博士生李健雄已毕业,并创立具身智能公司本溯智能(BASAL Intelligence,简称 BAS…
具身智能从实验室走向真实工厂、迈向精密制造。 作者丨邓哲敏 编辑丨齐铖湧 你有没有想过,机器人也可以走进车间,亲手造出组装一台机器人所需要的零件?这听起来像个玩笑,实际却是具身智能最硬核的落地命题。机器人的关节、卡盘、精密结构件,无一不是靠…
一条音频线、一枚转接头,看似是消费电子市场中不起眼的小配件,却对应着消费者真实而具体的使用需求。对于3C配件市场而言,产品标准化程度较高。头部品牌通常会集中资源布局需求体量较大的核心产品,而一些应用场景更加细分的产品,品牌化供给相对有限。消…