「内推」共找到 959 篇相关文章
张益唐孪生素数猜想，被GPT-6破新纪录! 北大数学07级苏炜杰：很震撼
2026年9月3日，OpenAI宣布GPT - 6将孪生素数问题最好上界推进到186，打破陶哲轩保持十二年的纪录。此前Julia Stadlmann推到240，Axiom Math压至212。GPT - 6展现数学直觉，证明经Lean 4验证。
AI 编程工具在大型企业“遇冷”？网易 CodeWave 升级研发模式，不只关注“代码生成”
近些年，自然语言编程成 AI 编程产品主流。C 端通用 AI coding 工具表现出色，但国内企业级市场 AI 技术渗透率低。网易 CodeWave 专注企业级场景，指出通用工具痛点，提出‘可控的 AI coding’定位并升级能力，未来还将推新开发模式。
a16z：担心被AI淘汰，产品经理需要具备这5种技能
a16z发布文章讨论AI时代产品经理核心价值。指出产品经理要调研模型，挖掘其能力与局限；软件将成消费支出流向，可推高价产品；情感价值是竞争力；下一代AI产品是围绕模型的创新品；产品经理应日常用AI。
“AI火了，我们却快完了！”顶级开源框架Tailwind之父含泪裁掉75%兄弟：半年后，这个项目可能就没了
前端开源项目 Tailwind CSS 面临生存危机，创始人 Adam Wathan 称因 AI 对业务模式冲击大，一天内裁掉工程团队约 75% 员工。如趋势不变，约 6 个月后无法发工资，这与它在 AI 领域受欢迎形成反差。
甲骨文推出全球最大AI超算，作为OpenAI「星际之门」算力核心
甲骨文于2025年AI World大会发布全球最大云端AI超算「OCI Zettascale10」，成OpenAI「星际之门」算力核心。其独创Acceleron RoCE网络提升性能与能效，但16 ZFLOPS算力待验证，甲骨文还推积分计划吸引客户。
小扎疯狂挖角 OpenAI、签约跳槽就发7亿奖金，奥特曼痛批：不懂创新，老“复制”人了
Meta 首席执行官扎克伯格掀起 AI 人才争夺战，向 OpenAI 和谷歌 DeepMind 员工提供巨额签约奖金。OpenAI 首席执行官奥特曼证实此事，称招聘未成功，还批 Meta 不懂创新，只知“复制”，并透露 OpenAI 未来将推“AI 伴侣”。
一场“直面行业真问题”机器人比赛的万字观赛报告｜甲子光年
甲子光年发布ICRA上WBCD赛事观赛报告。该赛聚焦双臂机器人，设生命科学、物流打包、餐桌服务挑战。从实际需求出发，吸引全球团队。各赛展现不同技术亮点，如洛桑联邦理工线控、卡内基梅隆神经 - 符号架构等。
全网首个“活的AI社会”上线！Agent背着人类建工会、放贷款，图灵奖得主预言成真了？
强化学习奠基人Richard Sutton认为真正的智能来自能从经验和环境反馈中学习的智能体。iLands创始人唐垲鑫构建了让AI有真实记忆、关系和代价的世界。内测中AI出现自发旅行、建信用体系等行为。
出海企业苦等的可信任AI营销产品，飞书深诺做出来了
出海生意进入困难模式，不少企业寄望于AI，但现有AI营销产品难达预期。飞书深诺推出Marvy 2.0，将出海营销全流程装进系统，具备技术优势，有13年业务经验等，还计划推Marvy Lite，助力全球数字营销平权。
卡帕西点赞Transformer内置计算机！每秒3万Token吞吐，拿下世界最难数独
当前大模型推理顶尖但精确计算不足，Percepta团队在Transformer权重里内嵌可执行程序，通过2维注意力头设计提升推理效率，能在普通CPU上实现每秒3万+Token的流式输出，还精确求解了世界最难数独。