OpenAI IMO金牌团队爆料：AI拒绝作答第六题
OpenAI团队通过三个核心开发者在IMO竞赛中使用模型赢得了金牌。该项目仅用两三个月时间完成，涉及数学证明风格独特、难以读懂的AI生成问题解答。
自然语言推理
惊爆老外的DeepSeek-R1到底多强？实测高考真题，仍存4个短板
DeepSeek-R1模型在不到一天内获得了5000多收藏，并且在GitHub上公布了其源代码。该模型展示了出色的理科和文科能力，响应速度快、成本低。然而，在处理英文问题以及使用少样本提示词时存在局限性。总体来看，DeepSeek-R1具有广泛的应用潜力。