US tech outlet; the only source to specify that Astra posted Lean 4 machine-checkable certificates for each of the ten solved problems, a formal-verification detail absent from the other three originals

按立场 · 1 视角 本期全站