「Starmind AI1」共找到 10621 篇相关文章
45年数论猜想被GPT-5.2 Pro独立完成证明，陶哲轩：没犯任何错误
2025年1月17日，研究者Neel Somani让GPT-5.2 Pro解1980年提出的埃尔德什猜想第281号问题，证明经陶哲轩验证成立。此外，网友发现有更简单经典解法。陶哲轩提醒评估AI真实成功率有报告偏差。
两个Ilya的宿命轮回：老黄10亿美金开启赛博修仙！
OpenAI花1亿美金买Torch做「数据转接头」，想让ChatGPT成全科医生；Claude用超长文本窗口处理医学文献和数据。而NVIDIA投10亿与药企建实验室，用BioNeMo重写生命，开启药物生成新纪元。
顶级商战往往采用最朴素的方式：你叫「微软」，我叫「巨硬」
2026决战前夜，AI成抢夺电力与地皮的「物理战争」。谷歌要5年内算力拉升1000倍，抠能效；马斯克自建电厂、买仓库，手搓算力中心，还在名字上挑衅微软，不过也引发环保抗议。
开源医疗模型SOTA：蚂蚁健康发布百亿参数医疗大模型
由浙江省卫生健康信息中心、蚂蚁健康等联合开发的AntAngelMed医疗大模型正式开源。它凭借独创训练与架构，在权威评测中表现优异，降低算力门槛，将专业知识、诊疗能力与计算架构融合，为医疗AI落地奠基。
他们让万亿参数RL学会了「省着跑」，顺便砍掉九成算力
2025年，强化学习成大模型进化主战场，但万亿参数模型跑RL成本高。Mind Lab团队实现1T参数模型LoRA高效RL训练，GPU消耗降90%，技术开源。此外还有Memory Diffusion记忆机制等成果。
比Qwen3-Max更Max？夸克抢先用上最新闭源模型
10月23日夸克上线对话助手，采用比Qwen3 - Max更优的Qwen最新闭源模型，实现AI搜索与对话深度融合。经测试其搜索、理解、写作等能力出色，技术架构创新，是阿里‘模型即应用’战略体现。
OpenAI 推出 Pulse 预览版，ChatGPT 可以主动为你提供服务了
OpenAI发布ChatGPT Pulse预览版，让ChatGPT从被动答问变为主动提供个性化服务，根据聊天记录等每天准备定制化信息更新。目前向Pro用户推，仅限移动端，虽有局限但代表AI交互新范式。
刚刚，OpenAI拿下IOI金牌，仅次于前五名人类选手！参赛推理模型才夺得IMO金牌
2025年国际信息学奥林匹克（IOI）中，OpenAI推理模型获金牌，在AI参赛者中排第一，得分仅落后5位人类选手。其未专门训练，成绩较去年大幅提升。此前它在IMO也获金牌级别成绩。
创始人“背刺”员工获财富自由，Devin接盘火速兑现员工期权，华人CEO暗讽：做个人吧！
当地时间7月14日，Devin背后公司Cognition宣布收购Windsurf。此前Windsurf收购案波折不断，创始人带部分人去谷歌，剩下员工去了Devin。此次收购引发对AI编程工具竞争的讨论，也暴露一些行业问题。
小扎狂砸3亿美金薪酬包！奥特曼放狠话：传教士终将打败雇佣兵
新智元报道，Meta挖走近十位OpenAI研究员，小扎砸3亿美金薪酬包。奥特曼内部喊话“传教士将打败雇佣兵”，抨击Meta挖人，还暗示评估薪酬方案。当前硅谷AI抢人大战白热化，人才薪酬暴涨。