Artificial intelligence
fromArs Technica
6 days agoDeepMind's latest: An AI for handling mathematical proofs
AlphaProof achieved International Mathematical Olympiad silver-level performance and nearly gold on the Putnam, demonstrating substantial advances in automated mathematical reasoning.