Tag: #formalverification

Articles related to formalverification

technology

Preprint: Magenta reportedly turns olympiad math into Lean statements and machine-checked proofs

An arXiv preprint says Magenta converts olympiad problems into Lean and produces machine‑checked proofs, including claimed IMO solutions — but no public code or independent replication yet.

#ai, #formalverification, #lean, #mathematics