如何试用“诚实”的Anthropic AI——Claude Opus 4.8

Anthropic发布了Claude Opus 4.8，该公司称这是其最诚实的AI模型。来自Mashable的文章说明了用户如何试用这一新模型，强调了其提升的诚实性和性能。Claude Opus 4.8可通过Anthropic的应用程序接口（API）和消费者平台使用。

Anthropic

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

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

OpenAI