AI 中文社
编译器 标签，匹配到约113个结果, 耗时0.0298秒
谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题
谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证，在 353 个开放的 Erdős 问题中自主解决 9 个，并解开 2 个悬而未决 56 年的问题。...
2026-05-26
·
浏览156次
Turbo Pascal、Delphi，C#、TypeScript 之父 Anders Hejlsberg 近 50 年编程生涯访谈实录
Turbo Pascal 开创了低成本 IDE 集成开发环境的时代， Delphi 定义了可视化快速应用开发（RAD）范式， C# 成为主流企业级语言， TypeScript 基本统治了前端世界。
2026-05-20
·
浏览135次
深度｜Karpathy为何突然加入Anthropic，只能当Dario的「-2」？
深度｜Karpathy为何突然加入Anthropic，只能当Dario的「-2」？...
2026-05-20
·
浏览265次
Linux 之父 Linus 发飙：别用 AI 提交大量重复 Bug 报告，直接提修复方案，OK？
Linus Torvalds 日前发布了 Linux 7.1 的第四个候选版本，他在 5 月 17 日表示 AI 很棒，但前提是它真的有帮助。Linus 抱怨大量重复的 bug 报告会带来不必要的工作。...
2026-05-18
·
浏览151次
Claude Mythos猛虎出笼！秒破人类一年无解漏洞，GPT-5.5都压不住
Claude Mythos猛虎出笼！秒破人类一年无解漏洞，GPT-5.5都压不住...
2026-05-17
·
浏览256次
刷榜AI全挂了！Meta斯坦福地狱级测试，GPT/Claude/Gemini交出0分
刷榜AI全挂了！Meta斯坦福地狱级测试，GPT/Claude/Gemini交出0分...
2026-05-06
·
浏览285次
Claude Code之父红杉演讲震撼全场! 26年未写1行代码, 电脑都不开了
Claude Code之父红杉演讲震撼全场! 26年未写1行代码, 电脑都不开了...
2026-05-06
·
浏览246次
刚刚，Anthropic祭出最强Claude Mythos！暴击Opus 4.6，跪求千万别用
刚刚，Anthropic祭出最强Claude Mythos！暴击Opus 4.6，跪求千万别用...
2026-04-08
·
浏览167次
Radxa 瑞莎推出 AICore DX-M1M 紧凑型边缘 AI 加速模组，25 TOPS 算力
Radxa AICore DX-M1M 采用标准的 M.2 2242 B+M Key 外形尺寸，接口为 PCIe Gen3 ×2，功耗 3W。...
2026-03-23
·
浏览191次
