01IT之家（RSS）
谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题
谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题
本期共收录 23 条，覆盖 5 个版块。
谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题
面壁智能开源其新一代端侧大语言模型MiniCPM5-1B。
腾讯混元发布翻译模型 Hy-MT2，在 Hugging Face 开源模型趋势排行榜上表现突出…
Qwen3.7-Max 正式成为全球第二大 AI 编程模型。
小米MiMo-V2.5系列API价格永久下调，最高降幅达99%，现与DeepSeek V4 Pro同价。
我们为Claude Code发布了一个安全指导插件，可在编写代码时帮助识别和修复漏洞。
在 Replit 上为你的应用添加登录有两种方式： → Replit Auth：零配置…
Jon Erwin - Wonder Project创始人兼首席创意官，Innovative Dreams首席执行官…
Anthropic工程师Sholto Douglas表示…
SynthID已为超过1000亿条内容添加水印，但透明度需要行业协作。
今天我们宣布完成由@CapitalGVC领投的1.13亿美元B轮融资。
Anthropic宣布任命KiYoung Choi为韩国代表董事，以支持其即将在首尔开设的办公室。
在 #QwenConference2026 上，阿里云CTO…
AI能否理解人类价值观的现实复杂性？微软亚洲研究院的全新全球AI价值观挑战赛…
团队推出 KPop，用于稳定大规模 MoE 模型的智能体强化学习训练。
Google 与 Alphabet CEO Sundar Pichai 在 Google I/O 后受访…
“龙虾之父”Peter 开源了 skill-cleaner 工具，用于诊断和优化 AI 智能体的技能提示词。
Google 发布了其多模态模型 Gemini Omni 的视频生成功能使用指南。
我写了一篇新文章，探讨我们需要保留哪些人类特质，以及哪些可以交给AI，其中涉及教育、咨询领域的实验…
Runway通过Project Luxo研究发现，AI生成视频已跨越“恐怖谷”。
Anthropic通过三重机制控制Claude智能体的部署风险，包括用户误用、模型异常行为和外部攻击。
OpenSenseNova开源了SenseNova-U1的完整训练代码库，支持其8B密集模型与A3B MoE架构。
文章展望了截至2026年5月AI领域的动态。内容涉及 Gemini Flash 3.5 的发布…