搜索「数学」，找到 70 条相关内容
-
AI推理服务器怎么配：显存、带宽与散热的三笔账
跑7B模型用FP16约占14GB显存，一张RTX 4090 24GB刚够，但并发一上来就卡。预算有限时该先加卡还是先换平台？单卡推理和双A100差在哪、每月多花多少钱、哪些负载根本用不上大显存，看完能自己算出该配几路GPU。
-
iPhone Duo量产良率卡在六成，苹果的折叠屏备货目标还能兑现吗
iPhone Duo首批量产整机组装良率只有60%多，三星显示面板与铰链方案也曾出问题，苹果却仍定下600万至800万部备货目标。良率爬坡通常要6到12个月，这段时间产能与品控怎么平衡？
-
iPhone 18 Pro屏下Face ID换用双安全区，图像验证层补位提速
苹果为iPhone 18 Pro的Face ID增加了图像数据验证层，并首次让Secure Exclave独立分析部分传感器数据。屏下组件让红外投射变复杂，识别速度可能变慢，新增图像分析用来弥补效率。传统Secure Enclave仍处理深度和红外数据，两套结果最终合成人脸数学表示。这套双重验证能否解决部分用户遇到的识别异常，还得看后续系统更新。
-
GPT-6双模型上线：Sol主打速度成本，Luna强化复杂推理
GPT-6 Sol与Luna同步推出，前者在编码与多步骤工作流上稳定性提升，后者面向长推理与多步骤自动化，内部测试表现更强。两款模型API价格下调，支持外部工具与代码库级操作，适合代理类任务。换我我会先按调用频次分档，高频走Sol、复杂推理交Luna，你的业务更适合哪一档？
-
OpenAI请来9位数学家组顾问团，AI数学成果署名难题待解
OpenAI新设数学与AI咨询组AGMAI，9名成员来自斯坦福、哈佛、牛津等机构，由普林斯顿高等研究院承载。顾问团不领报酬、可主动发声，但成员如何选出、9人能否覆盖高度专业化的数学领域仍受质疑。AI已能产出上百个新结果，署名与优先权规则却没跟上，这套外部咨询机制真能管住OpenAI吗？
-
盲测平台惊现神秘模型，谷歌旗舰迭代节奏引发猜想
大模型盲测竞技场出现名为gemini-3.8-flash的异常模型，实测能力明显超出正式版Flash，社区猜测其为尚未发布的Gemini 4 Pro。伴随跑分图与后端截图流传，谷歌在递归自我改进方向的布局同步浮出水面，而此前业界关于放缓前沿AI研发节奏的讨论再度面临考验。
-
诺奖级大脑加盟谷歌，AI研究组织再添两位总监
谷歌将两位诺贝尔奖得主纳入AI团队，并新设两名研究总监岗位，此举被视为其强化基础研究与人才竞争力的最新动作，或对行业人才格局产生连锁影响。
-
Gemini 4 Pro突袭Arena榜单，13项跑分领先GPT阵营
谷歌新一代Gemini 4 Pro空降大模型竞技场Arena榜单，在13项评测中跑分压过GPT系模型，被视为谷歌在大模型竞赛中重新找回节奏的关键一步，也令头部模型竞争格局再添变数。
-
OpenAI被曝逼近霍奇猜想，数学自动化或成下一个爆点
消息显示，OpenAI内部预计霍奇猜想有望在较短时间内获证，此前纳维-斯托克斯方程证明耗资或达数百万美元。公司正权衡成果发布方式，避免与数学界再生摩擦，同时押注数学成为大模型攻克的下一个领域。
-
OpenAI被曝逼近霍奇猜想，数学自动化或进入倒计时
消息称OpenAI在攻克纳维-斯托克斯问题后，正接近解决另一道千禧年难题霍奇猜想。该公司或已为此投入数百万美元，并考虑如何与数学界协作发布，避免重演公关争议。