就是说，OpenAI使用对家的Claude来辅助自家GPT-5的开发和安全测试，而且根据奥特曼发布的实测，GPT-5在编程领域重写了编码规则。

不仅能达IMO金牌水准，更能解决普特南数学竞赛难题，甚至超越顶尖模型o4-mini！字节发布全新复杂数学解决模型——Seed-Prover。该模型全面超越了谷歌的AlphaGeometry2，并在MiniF2F数据集上实现了惊人的100%正确率。不仅如此，Seed-Prover还展现了其卓越的泛化能力：成...

它创新性地设计了云端安全Agent团队并与本地IDE相结合的工作模式，可以一次性调动多个Agent为你“打工”，使AI的角色从Copilot变成开发团队成员。

这台计算机采用第三代类脑芯片Darwin 3构建（该芯片由浙江大学联合之江实验室于2023年研制成功），拥有超过20亿个脉冲神经元与1000亿突触连接，首次在工程系统中逼近猕猴大脑的神经元规模，并将系统消耗降低至2000瓦，是国际上首台突破20亿神经元的神经拟态类脑计算机。

大模型推理能力研究中，可验证奖励的强化学习（RL with Verifiable Rewards, 简称 RLVR）技术频频突破，尤其是“一题强化学习”（RL on One Example）在多个任务中表现亮眼，引发了广泛讨论。

发表在《PLOS Biology》（生物学top期刊）的最新研究显示，荷兰科学家成功纠正了线粒体DNA中的突变，在基因治疗领域取得重大突破。

GPT-5，终于亮出真容！最新实测，由奥特曼本人带来，迅速引发大量围观。疯狂暗示了一周之后，虽说对话只是围绕电视剧推荐，但好歹是有官方实例了。当然奥特曼其人，放料的同时还是少不了新的谜语┓( ´∀\` )┏：即将进入SaaS快时尚时代。比起这种奥式基操，更令人兴奋的...

没有内推、没有背景，如果你想进入像OpenAI这样的顶级公司，该怎么办？OpenAI客户总监Sophie Rose的回答是：一条陌生人私信。从发出消息到拿到offer，她只用了五周时间。在求职越来越“卷”的今天，主动发起联系、有策略地展示自己，往往能成为撬动职业生涯的关键转折...

8月7日周四14:00，量子位AI沙龙将邀请来自模型厂商、IDE、零代码平台、Agent等不同类型产品的代表，共同探讨对AI Coding发展的观察与思考。

该发现来自两位清华校友杨林和黄溢辰，他们共同设计了一套自我迭代验证流程和提示词优化，就成功让Gemini 2.5 Pro完成了今年IMO题目的解答。

尽管近年来的3D生成方法发展迅速，精度越来越高，但现有框架在兼顾效率和质量上依然面临瓶颈，尤其是在高分辨率建模中，计算的高复杂度严重制约了生成速度和应用落地。

IOI 2025（国际信息学奥林匹克竞赛）高光收官，中国队再次全员夺金！此次比赛由3名浙江选手、1名广东选手代表中国队出战。他们分别是：刘恒熙，宁波市镇海中学，获得冠军范斯喆，浙江省诸暨市海亮高级中学，获得季军陈昕阳，杭州第二中学，获得第5名刘海峰，中山市中...

MoMA引擎通过汇聚业界多种优质模型与智能体，能够根据应用场景，自动匹配及调用最优专家模型和专用智能体，形成超级大模型能力服务基座，为解决复杂任务提供更为强大的解决方案。

7月19日，全世界顶尖大模型在2025年的IMO赛场上几乎全军覆没。时隔1天，OpenAI、DeepMind等顶尖实验室就在IMO 2025赛场斩获5/6题，震惊数学圈。

混元基础模型团队提出全新框架MixGRPO，该框架通过结合随机微分方程（SDE）和常微分方程（ODE），利用混合采样策略的灵活性，简化了MDP中的优化流程，从而提升了效率的同时还增强了性能。

Andrew Tulloch，OpenAI前CTO Mira创业搭子，参与了OpenAI GPT-4o到o系列的研发，还曾在Meta工作过11年。

你的工作岗位，会不会被AI分走一杯羹？微软最新研究专门扒了扒：AI到底对哪些职业影响最大？研究人员分析了20万条AI对话、整合了近3万项职业任务数据，通过计算覆盖率、成功率和影响范围三个维度，为每个职业算出了AI适用性分数。根据得分情况列出了40种最受AI影响的...

AI教父Geoffrey Hinton来上海了。他腰杆挺直，神情专注。这一坐，就是很久。对于77岁高龄的诺贝尔奖+图灵奖双奖得主来说，这个再平常不过的动作，却是他人生中最奢侈的体验。因为过去有近18年，他几乎无法坐下——一次坐下的代价，可能是数周的卧床不起。△图源：“上海...

提出一个真正好的猜想，比解决它更难。这是谷歌DeepMind首席执行官哈萨比斯（Demis Hassabis）在莱克斯（Lex Fridman）最新对谈中的感慨。他同时也是2024年诺贝尔化学奖的得主，带队开发出了能够高精度预测蛋白质的三维结构的AlphaFold系列模型。在这次长达2小时的对...

Qwen最近属实声势不小，开源方面刚靠Qwen3-Coder炸场，在翻译领域也卷出花：更快响应速度、更低价格，阿里云百炼最新翻译模型Qwen-MT现已开放，主打一个高性价比。先看价格：根据官方介绍，该模型的核心亮点包括：支持超过92种主流官方语言及重要方言之间的高质量互...