goldenbug@goldenbug@fedia.io7dReplying to @wrinkle2409@lemmy.cafehttps://mathoverflow.net/questions/513540/should-we-trust-ai-generated-formal-proofs-in-lean-4
goldenbug@goldenbug@fedia.io18dReplying to @mastertigurius@lemmy.worldExactly. This is how I find out people bring their phones into the shower.
