Meta自研AI芯片Iris即将量产，算力翻倍计划曝光，科技巨头加码AI基础设施。
IT之家 7 月 9 日消息，根据路透社查阅的一份 Meta 内部备忘录，Meta Platforms 计划最早于今年 9 月开始量产一款人工智能芯片，这是其明年将整体 AI 算力提升至 14 吉瓦（GW）计划的一部分。 这款数据中心 AI 芯片代号 Iris，属于 Meta 自研 MTIA（Met…
代码代理自动完成软件验证，在Iris分离逻辑上成功证明超4000个引理，效率惊人！
arXiv:2607.06341v1 Announce Type: cross Abstract: Formal verification offers the strongest guarantee of software correctness, but it does not scale: t…
重罪犯与欺诈者联手推销进攻性网络安全创业公司，IRIS C2的荒诞商业模式值得警惕。
A cybersecurity startup dangling millions of dollars to acquire zero-day security vulnerabilities in popular software is run by a pair of far-right co…
专为AI4Science安全设计，从风险维度量化评估科学AI的潜在隐患，填补该领域基准空白。
arXiv:2606.18936v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly embedded in AI for Science (AI4Science) workflows, from …
零安装的本地AI生态，能自主控制PC，还具备12种动态心理向量实时调整行为。
Article URL: https://github.com/Samael-1976/Airis Comments URL: https://news.ycombinator.com/item?id=48538227 Points: 1 # Comments: 0