人工智能征服难题数学：生成式人工智能能解决2026年东京大学入学考试吗？

令人兴奋的消息！一项新研究表明，像所使用的那样先进的生成式人工智能系统，有可能正式证明在2026年东京大学入学考试中发现的复杂问题。使用Lean和大型语言模型（LLM）成功解决具有挑战性的数学问题是一个重大突破，标志着人工智能在该领域的快速发展。