Gemini 数学专业版声称在数学定理证明中取得突破

Gemini 模型声称证明了新的数学定理，这一说法意义重大，可能会影响人工智能研究的方向及其在形式验证和自动推理中的应用。然而，其真实性和影响高度依赖于独立验证以及定理的细节和模型的方法。