GPT-6 Astra破解九年数学悬案,AI化身规律发现者
AI刚刚在数学界搞了波大的。在顶级AI数学基准FrontierMath上,GPT-6 Astra联手三位人类研究员,正式攻克了一道悬置九年的开放难题。这道题叫“批准式委员会选举中核是否为空”,属于「重大进展」级别,自2017年以来就一直没人...
AI刚刚在数学界搞了波大的。在顶级AI数学基准FrontierMath上,GPT-6 Astra联手三位人类研究员,正式攻克了一道悬置九年的开放难题。这道题叫“批准式委员会选举中核是否为空”,属于「重大进展」级别,自2017年以来就一直没人...
AI芯片赛道又热闹了。各大巨头都在憋大招,直接把矛头对准了英伟达。不管是云端数据中心,还是端侧小设备,全都在抢跑。算力战火已经烧到了各个角落。 苹果被曝正在搞企业级AI服务器和自研芯片。据传有一款基于M7 Ultra开发,预计2029年发布...
苹果iOS 27的深度体验结果出来了,结论很直接:最大升级是闹钟,最大缺陷是AI。系统整体变得更像安卓,但也确实更好用了,交互细节优化不少。终于加入了大家呼唤已久的节假日闹钟功能,再也不怕节假日早上被闹钟吵醒,这波更新总算接地气了。可惜AI...
黄仁勋直接给“AI取代程序员”的末日论泼了盆冷水。90%代码由AI生成的盛况并没有发生。编码确实会被大量自动化,但软件工程这饭碗端得稳稳的。超级智能也许还在路上,但在窄领域,AI早就把人类按在地上摩擦了。哪怕模型能参与改进模型,产品发布前照...
最近AI开源圈动作不断,方向也越来越垂直。陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划”。目标很明确,就是让开放模型和便宜好用的算力,成为数学研究的共享基石。这意味着AI在基础科学领域的落地又深了一步,未来数学家们...
开发者挖出苹果iOS 27与macOS Golden Gate底层代码,发现Siri要变天了。新版Siri私有框架全面开放,能深度接入Claude甚至GPT-5.6。靠“模型委托”机制,第三方大模型以Siri扩展的形式直接运行。用户在mac...
奥特曼最近爆了个大瓜,直接把AI的智商天花板又捅破了。他自曝了所谓的“后Astra”模型,也就是传说中的GPT-6 Astra。这玩意儿在数学领域的表现,已经超越了全球最强的数学家。简单来说,数学皇冠易主了,这次戴上它的是AI。 这次GPT...
今日科技圈硬件和系统更新不断。小米首款RGB-Mini LED电视S Pro 2027正式开售,国补到手价直接干到了5099.15元起。这款电视硬件堆料很猛,支持三色背光和5000nits峰值亮度,屏幕素质拉满。它还配了高刷屏和小米自家的澎...
惠普刚发布的移动工作站ZBook Ultra G3a 16,硬生生把192GB统一内存塞进了笔记本。它搭载AMD锐龙AI Max PRO400处理器,能直接把160GB内存划成独立显存。对专业极客和高端开发者来说,现在本地跑300B大模型毫...
生数科技刚发布了Vidu S2视频大模型系列,直接把AI视频拉进了实时交互时代。这次主打两个核心模型:S2-Avatar专做持续交互的数字角色,S2-Editing能对输入的视频流进行实时编辑。他们甚至把触角伸向了VR头显,搞起了实时空间视...
智能体批量跑任务,CPU和内存瞬间打满怎么办?别急着重启。先限制新批次任务派发,隔离在线与离线资源池,保住已接收任务,防止反复重启又把同一批工作同时塞进来。接着配合峰值时间段,用CPU Profile看解析、本地推理和GC,用堆与分配数据查...
AI数据中心正经历一场大洗牌。英伟达带头搞变革,直接把整个行业推到了入局的关键节点。中国厂商显然不想只做旁观者或边缘人,正疯狂加速突围。现在拼的就是硬实力,没点真本事根本挤不上主牌桌。 钱和订单就是最好的底气。国内一家头部硅电容IDM企业刚...
OpenAI最近动作频频,不仅在数学界疯狂“摘星”,还顺手破译了二战时期的德军密文。据《The Information》爆料,OpenAI已接近攻克千禧年大奖难题中的“霍奇猜想”。要知道,这组著名数学难题全球一共才7道,难度极高。加上此前引...
AI算力的战场正在疯狂扩张,早就打破了地面的界限。天上,300公里高度的太空超低轨正成为全球AI新空间基础设施的必争之地。各大科技巨头盯上了这片新空间,产业竞争的枪声已经打响。下一代AI话语权的争夺,正在向多维空间全面演进。 回到地面端侧,...
OpenAI联合创始人布罗克曼最近放话,人类已经迈入通用人工智能(AGI)时代。这口号喊得响亮,但大模型在实际落地中依然有不少坑要填。模型能力上去了,不代表应用就真的稳了。从概念到实际可用,中间还隔着好几层技术考验。 比如大模型搞检索增强时...
AI视频生成正从"离线出片"转向"实时流式交互"。生数科技9月15日发布的Vidu S2系列就是典型代表,包含S2-Avatar和S2-Editing两个核心模型,分别负责持续交互的数字角色生成和视频流实时编辑,还把触角伸到了VR头显的空间...
大模型厂商正在改变玩法。通用Agent Runtime正变成大模型的基础能力,GPT-6 Astra的发布就是明证。模型变强只是一方面,自带智能体生态才是终局。这意味着AI智能体不再是外挂工具,而是底层核心组件,直接决定了模型的上限。 落地...
OpenAI联合创始人格雷格·布罗克曼最近放话,人类已经迈入通用人工智能(AGI)时代。这标志着AI大模型不再是实验室里的玩具,而是真正开始接管复杂任务。但别急着欢呼,大模型在实际应用中依然有坑。 比如模型在检索外部知识时,搜到了Skill...
开源正在改变AI格局。Mozilla最新报告显示,中国最佳开放权重模型与美国顶尖闭源模型的能力差距,已缩短至4.4个月。这个数字在一年前还是以“年”为单位的。几乎同一时间,中国开源AI的应用比例已反超美国,高端AI的价格战正在加速上演。 开...
苹果终于推送了iOS 27、watchOS 27、iPadOS 27和visionOS 27更新,延迟已久的Siri AI升级成了重点。目前只有英语测试版,10月会加入法语、日语、韩语、葡萄牙语和西班牙语。iOS 27还加了Liquid G...