OpenAI 发布 Astra，一个解决了数学家数十年来难题的 AI 模型

OpenAI 已正式确认了 Astra 这一新 AI 模型系列的存在，该模型在数学和理论计算机科学领域解决了十个至少困扰研究者十年的未解问题。这些成果，包括首个非 sofic 群的例子，已通过 Lean 证明检查器进行了形式化验证，OpenAI 计划继续用该模型尝试其他难题。

OpenAI

Mashable：X 的 Grok 人工智能现在能“理解”图像

据 Mashable 文章报道，X 的 Grok 人工智能已获得理解图像的能力。这些功能是 xAI 开发的 Grok 模型更新的一部分。新功能允许 Grok 处理视觉信息。

xAI