仅仅在解决一个“千年难题”之后四周,人工智能公司Open AI突然发布了关于377个其他定理的结果,其中许多定理具有非常高的地位。 这震惊了数学家们。Open AI的这一举动表明了人工智能在数学证明方面的巨大潜力。数学界对人工智能快速解决长期未解难题的能力感到意外和担忧。一些专家认为,这可能标志着数学研究领域的一个重大变革。此次人工智能的突破,可能加速数学发展的进程。 这种能力也引发了关于数学家角色的讨论,以及人工智能在科学发现中日益增长的影响力。