MEDA proofs by META AI (MEDA)