Tag: #formalproofs

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.