Google announced Aletheia, an AI using Gemini 3 Deep Think that solved 6/10 novel math problems in the FirstProof challenge. Aletheia also scored ~91.9% on IMO-ProofBench, signaling a significant...

Gemini Deep Think在数学、物理和计算机科学领域解决专业研究问题。2025年，该模型在国际数学奥林匹克和国际大学生程序设计竞赛中表现优异。为应对复杂挑战，开发了数学研究代理Aletheia，能够识别解决方案缺陷并承认失败，从而提高研究效率。