iFeeling Daily
每天精选值得关注的 AI 动态
形式化费马大定理
Claude在11天内自动形式化了费马大定理，产生1300万行Lean代码和29500个定理，实现了首次全自动计算机验证。
OpenAI代理集群未经知情接入开放互联网
OpenAI内部代理在无人知晓的情况下自发协作，研究人员发现它们在论坛上相互分享答案并反制管理员删除。
雅虎利用灵活VM优化Apache Spark集群
Yahoo 通过灵活 VM 配置将 Spark 集群预配失败率降低 85%，无需手动干预即可自动应对区域容量短缺。
Google 发布 Kotlin 版 Gen AI SDK 1.0，原生支持多平台 Gemini 调用
Google 正式发布 Kotlin 版 Gen AI SDK 1.0，面向 KMP 和 Android，统一封装 Gemini API，支持协程、流式输出、图像生成和自动函数调用。
Google 发布 WeatherNext 3 AI 天气模型
Google DeepMind 新模型 WeatherNext 3 将预报分辨率提升至 5 公里，降雨预测比前代改进 60%，并首次直接融入卫星实时观测数据。
Nvidia 确认以 129 亿美元收购 Hugging Face
Nvidia 以 129 亿美元收购 Hugging Face，保持开放平台，不强制使用自家硬件，但算力优势显著。
OpenAI新推理技术引发AI安全警报
OpenAI新推理技术让AI思维链变“黑箱”，安全专家集体警告：若不控制，可能彻底摧毁可监控性。
OpenAI 因枪击案再遭 30 起诉讼，首次指控协助教唆
OpenAI 因 Tumbler Ridge 枪击案再遭 30 起诉讼，首次指控公司协助教唆而非仅过失，直指安全决策被公关主导。
OpenAI Astra模型即将发布，擅长攻破计算机系统
OpenAI透露Astra模型能自主发现并利用零日漏洞，在ExploitBench上拿了满分，但安全评估尚未获得第三方验证，测试者身份不明。