雷军官宣！等了8年的小米自研芯片，玄戒O1来了
不是，雷总，哪有人大晚上八点半官宣这么重磅的消息的？就在刚刚，雷军在微博宣布：小米自主研发设计的手机 SoC 芯片，名字叫「玄戒 O1」，即将在 5 月下旬发布。
o1
大事件！小米玄戒芯片O1重磅发布！
在制程工艺方面，“玄戒” SoC 采用了台积电 N4P 工艺，这是与骁龙 8 Gen3 同代的先进制程技术。台积电 N4P 工艺基于第二代 4nm 制程技术，相比初代 4nm 工艺，晶体管密度提高了 6%，这使得芯片在更小的面积内能够集成更多的晶体管，从而提升
大半精锐尽出！o1下线！满血o3之后，模型本身就是Manus
凌晨一点，OpenAI派出了8位新老大将齐聚今晚的直播间，一起解说OpenAI新发布的目前OpenAI最为强大、最为智能的模型：满血o3和o4-mini！
这些国际Design Awards得一个秒过O1
O1 EB1A中， Awards是有价值而且最容易攒到的材料， 我们攒材料时候， 要找到更有价值的Awards参加， 有些Design Awards超强的含金量能让EB1A O1申请快速通关。 [心]National Design Awards 这是纽约Coo
DeepSeek-R1横空出世，能否成为OpenAI o1的强劲对手？
在人工智能界掀起波澜的DeepSeek团队，于近日震撼发布了其最新力作——DeepSeek-R1模型。这款开源模型一经问世，便在Github平台上迅速积累了超过4000颗星的瞩目成绩，成为大模型领域的一颗璀璨新星。
GRPO在《时空谜题》中击败o1、o3-mini和R1
近日，海外大模型产品平台 OpenPipe 上发布了一项研究，阐述其如何通过 GRPO 在重度推理游戏《时空谜题》中超越R1、o1、o3-mini 等模型。研究作者分别为来自 Ender Research 的强化学习研究员 Brad Hilton 和 Open
全球首款音乐推理模型Mureka O1首秀！爆改周杰伦
AI音乐，从此进入「会思考」的时代！刚刚，昆仑万维扔出一枚重磅炸弹——全球首款音乐推理大模型Mureka O1横空出世，实力碾压Suno，强势登顶TOP 1。
中国AI领跑音乐工业革命，Mureka O1上线重写全球音乐产业格局
在2025年的第一季度，中国的AI产业以一种前所未有的“三连跳”方式，迅速扩大了其技术版图。2月份，DeepSeek通过开源策略重新定义了大型模型的竞争格局；3月份，Manus引领了智能体协作的新范式。而在3月末，当硅谷还在争论AI是否具备真正的艺术创造力时，
中国AI再掀音乐革命，Mureka O1如何重塑全球音乐产业？
在2025年的春天，中国的AI产业以惊人的速度实现了技术飞跃，特别是在音乐创作领域，引发了一场前所未有的工业革命。2月份，DeepSeek以开源策略改变了大模型的竞争格局；3月份，Manus则重新定义了智能体的协作方式。而就在硅谷还在争论AI是否具备真正的艺术
全球首款音乐推理大模型Mureka O1发布 中国AI创新产品走向世界
3月26日，昆仑万维正式发布Mureka O1模型与Mureka V6模型。Mureka O1作为全球首款音乐推理大模型，性能超越Suno、模型登顶SOTA，中国科技创新再次在AI音乐领域领跑全球。
首款音乐推理模型Mureka O1！爆改周杰伦，AI音乐进入DeepSeek时刻
AI音乐，从此进入「会思考」的时代！刚刚，昆仑万维扔出一枚重磅炸弹——全球首款音乐推理大模型Mureka O1横空出世，实力碾压Suno，强势登顶TOP 1。
刚刚，o1/o3后训练掌门人出走创业，OpenAI鼎力支持押注AI材料！
OpenAI后训练团队负责人William Fedus正式离职，将自创业投身于AI材料领域。没想到，这一创业项目竟获老东家注资支持。
ChatGPT再进化：o1支持调Python分析数据，网友：进化成Copilot了
OpenAI介绍，现在可以通过两款模型调用Python，完成数据分析、可视化、基于场景的模拟等任务。
重新理解推理模型（o1/o3、DeepSeek R1）
「Z计划」是智谱面向未上市初创企业与优秀独立开发者/团队，提供 Tokens 赞助、投资支持和技术支持等资源的创新加速计划。是智谱联合生态伙伴设立的大模型生态投资基金，侧重早期，管理规模 15 亿元人民币。
deepseek o1 r1 o3 deepseekr1 2025-02-13 08:27 10
DeepSeek-R1、o1都低于10%，人类给AI的「最后考试」来了
为了跟踪 AI 的发展进度，适当的基准必不可少。但现在，由于 AI 发展的速度实在太快，已有的基准已经开始不够用了。比如在常用的基准 MMLU 上，当今前沿的 LLM 已经能达到超过 90% 的准确度了！这就限制了对前沿 LLM 能力的精确度量能力。
o1 不是聊天模型
自 o1 于 10 月发布、o1 pro/o3 于 12 月发布以来，许多人都在努力厘清自己的看法，有积极的，也有消极的。在 人们对 o1 Pro 的情绪跌至谷底时，我们采取了一种非常积极的态度，并描绘了 OpenAI 若推出每月 2000 美元的代理产品可能
成本不到150元！李飞飞等26分钟训出个推理模型，媲美o1和R1，秘诀：用蒸馏
此外，团队提到，s1-32B仅仅使用了1000个样本训练，在AIME24上的成绩就能接近Gemini 2.0 Thinking，是“样本效率最高的开源数据推理模型”。研究人员还表示，Budget forcing在控制、缩放和性能指标上表现最佳。而其它方法，如T
训练1000样本就能超越o1，李飞飞等人画出AI扩展新曲线
今年 1 月，DeepSeek R1 引爆了全球科技界，它创新的方法，大幅简化的算力需求撼动了英伟达万亿市值，更引发了全行业的反思。在通往 AGI（通用人工智能）的路上，我们现在不必一味扩大算力规模，更高效的新方法带来了更多的创新可能。
xAI Grok-3有望下周登场 推理性能超OpenAI o1
科技媒体testingcatalog发布博文，报道称xAI官方虽然尚未公布，但Grok-3已短暂现身独立平台和X平台，开启内部测试，有望下周正式发布。
xAI Grok-3下周或将发布，超越o1成最强AI指日可待？
近日，科技媒体testingcatalog披露了一则引人瞩目的消息：xAI公司的Grok-3模型已在独立平台和X平台上悄然开启了内部测试阶段，尽管官方尚未正式宣布。据悉，这一测试是在1月27日进行的，预示着Grok-3或将于下周正式发布。