AI平均3小时完成一个数学证明，科研进入大通胀时代？
数学的潘多拉魔盒打开了。
来源：钛媒体
说明：本站展示中文整理摘要，便于快速阅读；完整内容和版权归原站所有。
说明：本站展示中文整理摘要，便于快速阅读；完整内容和版权归原站所有。
更多相关热点
AI热点雷峰网
云栖大会观察：阿里怎么打下一阶段模型战?
云栖大会，解开市场对阿里大模型的三个疑惑。 作者丨胡敏 编辑丨刘伟 今年云栖大会，变化格外明显。参加过多年的人，打开主论坛议程就能感受到，和往年很不一样。 在吴泳铭发言之后，第一个登台分享的是千问大语言模型负责人刘大一恒；紧随其后的是 ATH 技术副总裁郑波，他负责视听等多模态模型。接在两场模型演讲之后，是平头哥高慧，与阿里云 CTO 李飞飞。 云栖大会，芯
AI热点雷峰网
当年「字节投毒实习生」田柯宇，估值 2 亿美元，要挑战李飞飞做世界模型
2026 年 10 月，AI 创投圈迎来一笔颇具戏剧感的融资。 一家 10 人规模的神秘实验室，没产品、没名字，成了资本市场冰火两重天的风暴眼。一方面，业内进行着道德审判， “人品不行的公司绝对不能投”，另一方面，顶级 VC 机构五源资本和 IDG 却暗中追捧，偷偷塞了 3000 万美金，把估值推到 2 亿美元。 而这家公司的创始人，正是 2024 年震动国
AI热点雷峰网
再裁员5000人！保时捷明确回归燃油车，高端车型计划涨价20%；腾讯拟发行50亿美元离岸债券，或筹钱加码AI；OpenAI全面上线GPT-6
要闻提示 再裁员5000人！保时捷明确回归燃油车，高端车型计划涨价20% 阿里巴巴蔡崇信：开源是欧洲发展 AI 的最佳选择 腾讯拟发行50亿美元离岸债券，或筹钱加码AI 超33亿元！Manus拿下国内Agent创企最大单笔融资，腾讯投了 7万人排队掏钱！小米公布澎程上市首月战报：30天锁单超70000台 字节跳动前争议实习生开发世界模型：融资近3000万美元
AI热点雷峰网
7个月融4亿美刀背后，站着代季峰8人团
一家清华背景公司，成立 7 个月，三轮融资总额 4 亿美元，投后估值 14.2 亿美元。 创下如此记录之时，官网上却只有一句英文标语，竟然一张团队合影、一份产品介绍都没有。 这个创业团队没有接受过任何采访，低调到令人发指。这家公司叫 Naive AI，工商注册名是北京智衍慧生科技有限公司。搜索引擎搜公司名，只能搜到其创始人是清华大学电子工程系副教授代季峰。左
AI热点雷峰网
研究了1933篇 IROS 论文，我们看到了机器人学的六项新变化
大模型并没有“吃掉”机器人学。 作者丨 马晓宁 编辑丨岑 峰 9月27日，IROS 2026 将在匹兹堡开幕。重隔31年后，IROS 重回这座钢铁之城。 作为全球规模最大的机器人学术会议之一，今年进入正式议程的论文达到 1933 篇。把这近两千篇论文铺开来看，它更像是一张 2026 年机器人研究的横截面：从强化学习、模仿学习，到路径规划、视觉感知、运动控制、
AI热点IT之家
谷歌最前沿 AI 模型：Gemini 4 Argon 登场，长周期代码工程 DeepSWE 测试超 Claude Opus 5.5
IT之家 10 月 1 日消息，谷歌昨日（9 月 30 日）发布 Gemini 4 Argon， 称其为公司迄今最先进的 AI 模型，但目前并未面向公众全面开放。 定位方面，Gemini 4 Argon 是谷歌当前“最先进”模型，重点是长流程软件工程、企业知识工作和网络安全防御。官方称其在真实世界软件工程测试创纪录，网络安全基准并列第一，并在金融、法律等专业