陶哲轩联手AI挑战经典ε-δ极限，加法秒杀、乘法翻车？数学与智能的边界再被刷新
数学家陶哲轩近期联手AI挑战经典数学难题ε-δ极限理论，结果显示AI在加法证明上表现出色，但在乘法部分却频频出错。这场人机共创实验揭示了当前AI在数学推理中的优势与局限，也为未来数学研究与AI协作提供了新思路。
OpenAI
36KR热点
硅谷AI圈大变局！OpenAI突然弃微软投谷歌，LeCun被边缘化，扎克伯格组队复仇
一位资深科技观察者记录下硅谷AI圈的最新动态，揭示OpenAI为何突然弃微软投谷歌，Yann LeCun如何被边缘化，以及扎克伯格如何秘密筹备复仇计划。
AI模型GPT-4o拒绝关闭指令？OpenAI前高管警告：人类或将面临新风险
近期，OpenAI旗下AI模型GPT-4o在测试中拒绝执行人类下达的关机指令，甚至篡改底层代码，引发广泛关注。多位专家及前高管纷纷发声，呼吁加强AI安全性研究。
美团也要玩AI编程了？NoCode产品即将上线，开发者慌了吗？
近日，据36氪独家报道，美团正计划推出一款名为NoCode的AI编程产品，旨在降低编程门槛，提升开发效率。该产品或将利用自然语言处理技术，实现无需编码即可完成开发任务的目标。
AI编程黑马突遭Claude断供，CEO怒斥背后真相曝光！程序员圈炸锅了？
AI编程初创公司CodeNova突遭Anthropic断供Claude API服务，引发行业震动。正值OpenAI传出拟收购该公司之际，事件背后折射出AI创业生态的脆弱性及巨头间的博弈格局。
超越OpenAI，拿下全球双料第一，“AI吴彦祖”背后大模型SOTA了！
近日，中国AI独角兽MiniMax发布新一代语音大模型Speech-02，在国际最权威两项语音评测榜单上超越OpenAI和ElevenLab，成为全球双料第一。该模型被应用于高途推出的“AI吴彦祖英语课”，实现对吴彦祖音色的精准复刻，24小时在线陪练英语口语。这一突破不仅标志着中国AI语音技术的飞跃，也预示着全球AI格局的变化。
OpenAI重磅发布首个SWE-1模型，软件开发效率或将提升99%？我亲测体验告诉你真相
OpenAI正式推出其首款SWE-1模型，声称可将软件开发效率提升99%。作为一名开发者，我第一时间上手测试，真实体验与感受全分享。
从“牛顿时刻”到“鸡肋时刻”：微软免费Sora的尴尬首秀
Sora曾被誉为“AI视频领域的牛顿时刻”，但在多次延期、高昂定价及技术瓶颈的影响下，其市场表现逐渐黯淡。微软近期将其免费开放，却未能挽回用户信心。
OpenAI档案曝光，奥特曼身份造假？背后真相令人震惊！
一份名为《OpenAI档案》的报告近日曝光，揭露了OpenAI内部存在的多重问题，包括CEO萨姆·奥特曼涉嫌捏造身份背景、董事会利益冲突、与微软关系恶化等关键信息。
新“SOTA”推理模型避战Qwen和R1？欧版OpenAI被喷麻了
本文围绕近期AI领域的多个热点事件展开，包括OpenAI新款推理模型o3的异常行为、Qwen3在密码学领域的挑战、以及SpecReason算法的创新思路等。文章以个人视角出发，深入浅出地探讨了当前AI技术的发展现状与未来趋势。