Post #2438865

@tao@mathstodon.xyz are the "proofs" you are referring to here formal proofs? LLM generated human language proofs that no one have read sounds about as useless as bits could be.