Tag: #math

Multi-agent AI 'Station' publishes code and Lean proofs after claiming novel mathematical discoveries

An arXiv preprint says the open‑world multi‑agent system Station claimed several new mathematical results and published code, full dialogues and Lean proofs.

#ai, #math, #research, #formalproofs

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