AI资讯新闻榜单内容搜索-7

关键词: AI新闻,模型训练,OProver,数学定理证明模型

形式化定理证明，一直是LLM公认最严苛的推理试金石，每一步推导都必须通过Lean 4内核的机器验证。

关键词: AI新闻,Mind Lab,Macaron-V1-Preview,开源模型

过去一个多月，大模型圈依旧热闹。从 GPT-5.5、DeepSeek V4 到 Claude Opus 4.8，后训练正在成为模型能力提升的关键引擎。

关键词: AI新闻,openai,Gabriel,AI大牛

太突然了！Sora核心骨干、17岁高中辍学天才Gabriel正式官宣离开OpenAI。他要押上全部，打造AGI前夜的「最后一个产品」。

关键词: AI新闻,GIM,Grace Investment Machine,AI金融

致力于成为金融界“DeepSeek”。金融垂域大模型公司Grace Investment Machine（简称GIM）宣布一连完成过亿元天使轮和天使+轮融资。成立于2025年7月，GIM正在做一件事：为金融行业打造一个垂直领域的DeepSeek——专为投资决策而生的推理大模型。

关键词: AI新闻,chatGPT,openai,codex

英国当地时间6月7日，据《金融时报》援引知情人士的话披露，OpenAI正准备对ChatGPT进行自2022年推出以来规模最大的改版，新版将在未来几周内逐步上线。

关键词: AI新闻,AI教学,Wall Street Prompt,AI培训

两个三十岁出头的年轻人，正在靠AI向华尔街收每节课2.5万美元的学费，合人民币17万。

关键词: AI新闻,Agent榜单,Agent Arena,Arena

6月4日，Arena.ai发布Agent Arena排行榜，用373,431次真实会话的数据，给18个主流模型的Agent能力排了个座次。先看总榜。Agent Arena的排名依据是“净改进”（Net Improvement），用因果推断方法算出每个模型相对于随机基线的性能提升幅度。正值代表比随机选择更好，负值说明不如随机。

关键词: AI新闻,AI顶会 ,AI学术 ,AI论文

CVPR 2026全部奖项揭晓！最佳学生论文荣誉提名颁给了ChordEdit，一作和通讯都是广东工业大学本科在读生。他们用一块7年半前的老Titan，跑完了全部实验。

关键词: AI新闻,AI编程,Lovable,人工智能

智东西6月6日消息，据《福布斯》今日报道，瑞典明星AI氛围编程创企Lovable正在洽谈融资，估值将达到120亿美元（约合人民币812亿元）。四位消息人士透露，新资金注入将使Lovable的估值几乎翻番，高于去年12月的66亿美元（约合人民币447亿元）。

关键词: 模型训练,SAM3D,AI新闻,Fast-SAM3D

来自中国科学院计算技术研究所、ETH Zurich等机构的研究者提出了Fast-SAM3D。该方法直接面向SAM3D的推理链路做训练无关加速，在最大程度保持重建质量的同时，将单对象生成提速最高2.67倍，场景生成提速最高2.01倍。