「狼人杀」共找到 55 篇相关文章
AI三国杀！OpenAI狂卷，DeepSeek封神，却被Mistral偷了家？
中美忙着堆算力打AI战，欧洲Mistral杀出，推出Large 3和Ministral 3，全开源、多模态、能落地。Large 3规格高，Ministral 3小而强，可跑在多设备上。Mistral还想成平台，挑战巨头。
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩第三支Lean 4自动化数学证明视频，携手GitHub Copilot挑战「ε - δ」极限问题。Copilot处理加法较顺，减法卡壳，乘法失控。复杂证明时它短板尽显，陶哲轩认为复杂证明还得靠人脑。
Anthropic封号OpenClaw之父！复刻、改价、拉黑，24天三连杀
OpenClaw创始人Peter Steinberger的Claude账号被Anthropic封号，后恢复但无官方解释。此前Anthropic改价限制OpenClaw使用，且Claude Cowork半年来对标OpenClaw核心功能。这撕开了AI平台与开源agent生态裂痕，也凸显包月模式被Agent算力需求击穿的问题。
DeepSeek V4爆春节登场！四大杀招突袭全球编程王座，Claude危
据爆料，DeepSeek计划在2月中旬春节前后发布V4模型，剑指编程王座。其在编程能力、超长上下文代码处理、算法提升、推理能力上有突破，或延续高性价比路线，在受限硬件下靠算法取胜。
Stack Overflow已死？CEO带队狂赚1.15亿刀，6个月原地反杀
近日，‘Stack Overflow已死’话题爆火。但CEO回应，公司年收入破亿实现转型。AI虽拿走‘简单题’，‘难题’却成稀缺资源。公司采取多策略应对，如禁止AI答内容、推AI Assist等。
36个月大逆转！他带着谷歌AI杀回来了，下一步世界模型
ChatGPT发布近36个月，哈萨比斯带领谷歌AI反攻，新发布的Gemini 3在多模型榜单登顶，表现优于GPT - 5。谷歌将其作为底层模型开放，增强现有产品，还考虑重启谷歌眼镜项目。谷歌正缩小与OpenAI差距，哈萨比斯预计5 - 10年实现AGI。
GAIA 榜首，杀疯了！高并发、多任务京东开源的JoyAgent秒杀行业巨头
本公众号关注AI前沿技术，分享实战案例与课程。京东开源轻量化通用多智能体产品JoyAgent - JDGenie，可挂载新场景功能，在GAIA榜单准确率超行业知名产品，还介绍了其架构特点与创新点。
顶尖数学家含泪退圈：熬了多年的博士难题，被AI几周秒杀！
顶尖数学学者Rishikesh Gajjala靠AI攻破博士课题，却宣布退出学术圈。他认为AI生成证明虽精巧但难验证，“漂亮证明未验证和垃圾无异”。他投身形式化验证领域，而AxiomProver完成“246定理”形式化验证。
「生化危机」女主用Claude手搓满分AI，一年0.7美元反杀大厂！
《生化危机》女主Milla Jovovich与工程师好友用Claude开源AI记忆系统MemPalace，在LongMemEval获全球首个满分。虽上线后被社区挑刺，团队公开认错，但其成绩和免费本地运行优势仍受关注。
MiniMax都在用！5500PB幕后功臣首次亮相，国产黑马祭出杀招
AI浪潮中，数据流不动致GPU算力空转，XSKY星辰天合举办AIMesh产品战略发布会破局。AIMesh含三网，分别解决IO墙、重力墙、内存墙问题，且开放解耦，获多方认可。