AI & Machine Learning

认知的SWE-2在Terminal-Bench 2.1上达到92.8

Cognition的SWE-2模型在Terminal-Bench 2.1上取得92.8分，刷新了此前由OpenAI Codex创下的89.5分记录，展示了AI在复杂编码任务上的卓越能力。

2026-09-11 AI & Machine Learning 0 Administrator

2026年9月人工智能滥用趋势报告分析AI滥用现状及应对策略，涉及深度伪造、网络安全、自主武器和隐私侵犯等领域，强调检测技术和应对措施的重要性。

2026-09-11 AI & Machine Learning 0 Administrator

OpenAI 最新推出的代理 API 将重新定义我们与 AI 系统的交互方式，实现动态、上下文感知的交互，并能适应复杂场景。

2026-09-11 AI & Machine Learning 0 Administrator

OpenAI 使用 Lean 4 对纳维-斯托克斯方程进行形式证明，标志着人工智能与形式证明结合的重大进展，为复杂计算系统的处理和验证方式带来转变。

2026-09-11 AI & Machine Learning 0 Administrator

OpenAI 使用 Lean 4 对纳维-斯托克斯方程进行形式化证明，展示了形式化验证在构建更健壮、更可靠的 AI 系统中的强大能力。

2026-09-11 AI & Machine Learning 0 Administrator

作者在30天内体验AI生成软件后，发现AI不仅是缺陷的发现者，更是新的创造力形式，人类工程师的角色从审查者转变为协作者和策展人。

2026-09-10 AI & Machine Learning 0 Administrator

数学家们要求OpenAI证明其AI模型训练数据中未使用他们的工作，引发关于数据使用、知识产权和学术诚信的争议。

2026-09-10 AI & Machine Learning 0 Administrator

自动驾驶汽车（AV）的安全性问题正随着越来越多的证据表明它们可能比人类驾驶更安全而得到解决。研究表明，AV的事故率远低于人类驾驶员，这得益于它们消除分心、一致性和可预测性以及快速反应时间的能力。

2026-09-10 AI & Machine Learning 0 Administrator

越来越多的证据表明自动驾驶汽车正在使道路更安全，甚至可能挽救生命，但它们仍面临监管、技术和伦理挑战。

2026-09-10 AI & Machine Learning 0 Administrator

$人工智能数学突破引发争议$

人工智能驱动的数学突破引发争议，一个AI系统能解决长期困扰数学家的难题，但其在数学研究中的角色和透明度受到质疑。

2026-09-09 AI & Machine Learning 0 Administrator