AlphaProof Nexus: A new AI tool designed to tackle mathematical proofs
A Google DeepMind team has developed a new artificial intelligence (AI) system based on large language models capable of autonomously tackling select mathematical problems. The tool, called AlphaProof Nexus, searches for proofs and employs verification processes to ensure the resulting solutions are logically sound. According to the study published in Science, AlphaProof Nexus has successfully solved several previously unsolved problems, including nine of the 353 Erdős problems.