梦兽编程
AI 套装

[ SECTION / AI ]

大模型 LLM

大模型与 LLM 技术前沿、推理优化与训练实践。
32 篇内容
01 AI / 2026.03.17 / 1 MIN AI 编程遇到"审查瓶颈"?Mistral 甩出一个开源王炸 Mistral AI 发布首个开源 Lean 4 代码代理 Leanstral,让 AI 既能写代码又能自证正确性。这次我们聊聊形式化验证和 AI 编程的那些事儿。 02 AI / 2026.03.09 / 1 MIN AI 时代,程序员终于可以优雅地写文档了 文学编程提出40年却始终是小众玩具?AI Agent 的出现彻底改变了游戏规则——它们可以替我们维护那套令人崩溃的平行叙事。 03 AI / 2026.03.09 / 2 MIN 给本地AI代理上把锁:Agent Safehouse 体验报告 一款让 Claude Code、Codex 等 AI 代理安全运行在沙箱中的 macOS 工具,彻底杜绝误删文件、泄露密钥等安全隐患。 04 AI / 2026.03.02 / 2 MIN Karpathy 最新力作:200行代码实现完整GPT,这可能是最可爱的AI入门教程 Andrej Karpathy 又双叒叕搞事情了!这次他用 200 行纯 Python 代码实现了一个可训练、可推理的 GPT模型,没有任何依赖库。这可能是史上最简洁的大语言模型实现。 05 AI / 2026.02.28 / 2 MIN 神经网络逆向工程:当机器学习变成解谜游戏 Jane Street 发布了一个特殊的 ML 解谜游戏:给你完整的神经网络权重,让你找出能让它输出非零值的输入。这不是普通的黑盒攻击,而是需要真正理解网络在算什么。一位大学生花了几天时间,从线性规划到 SAT 求解器,最终发现网络里藏着一个 MD5 哈希函数。 06 AI / 2026.02.18 / 1 MIN GLM-5来了:花1块钱干15块钱的活,你的AI订阅还续不续? 智谱GLM-5以744B参数MoE架构、MIT开源协议和每百万token仅1美元的价格,在SWE-bench上拿到77.8%,跟Claude Opus 4.6只差3个点。本文用真实数据和代码实测,帮你算清楚这笔AI账单到底该怎么付。 07 AI / 2026.01.11 / 1 MIN 我在Claude Code上花了400美元,然后换成了Codex 花了一个月时间和400美元,我从Claude Code的狂热粉丝变成了Codex用户。这是一个付费用户的真实体验报告。 08 AI / 2025.12.25 / 2 MIN AI客服:AI-First 客服第三天就崩,往往不是模型,是账单 AI-First 客服听起来像降本增效,但落地常在三天翻车:长尾问题、权限动作、知识回流、可观测性、评估体系。本文用工单系统视角拆解原因,给出 AI客服 + RAG 的分级兜底、人机协作与可回滚上线方案。 09 AI / 2025.12.20 / 1 MIN Karpathy眼中的2025 LLM:六件让我刮目相看的AI趋势变化 Andrej Karpathy 2025 LLM年终总结深度解读:从RLVR到Vibe Coding,剖析2025��大模型领域的六大范式转变,探讨AI趋势新方向 10 AI / 2025.12.18 / 1 MIN Rust + AI正在悄悄干掉Python最大的优势(大多数开发者还没意识到) Python统治AI领域不是因为它快,而是因为它容忍人类的不确定性。但当AI开始写代码,这个优势正在慢慢消失。