Tag: #math

Preprint Claims Perfect Scores by Multi‑Agent AI on Multiple Math Competitions; Results Unverified

A May 19 arXiv preprint says STAR‑PólyaMath scored perfect on AIME and Putnam and topped several benchmarks, but results remain unverified.

#ai, #arxiv, #math, #benchmarks

Open-source system QED claims machine-generated proofs for three open math problems; formal checks pending

An arXiv preprint and GitHub repo say QED, an open-source multi-agent AI, produced expert-verified proofs for three open math problems; independent formal checks are pending.

#ai, #math, #arxiv, #proofs