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...
Google DeepMind的AI系统Aletheia在数学挑战FirstProof中成功解决了6个研究级难题,展示了AI在数学研究中的潜力。Aletheia注重可靠性,宁愿不答也不答错,标志着AI从解题向研究的质变。
Gemini Deep Think在数学、物理和计算机科学领域解决专业研究问题。2025年,该模型在国际数学奥林匹克和国际大学生程序设计竞赛中表现优异。为应对复杂挑战,开发了数学研究代理Aletheia,能够识别解决方案缺陷并承认失败,从而提高研究效率。
完成下面两步后,将自动完成登录并继续当前操作。