Claude Can (Sometimes) Prove It (via hwayne) — discussion

#math #vibecoding