Artificial intelligence
fromNature
1 month 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.