Artificial intelligence
fromNature
5 days agoMathematicians put AI model AlphaProof to the test
AlphaProof, an AI trained to use computational proof tools, automates theorem proving and accelerates mathematical discovery, achieving strong performance on IMO-level problems.