affine @refinement.systems · Jun 17 Opus 4.8 took the chapter of the Verus tuorial on "how to prevent LLMs from cheating proofs" personally
0 likes 0 replies
?
affine @refinement.systems · Jun 17 affine @refinement.systems · Jun 17 affine @refinement.systems · Jun 17 Opus 4.8 took the chapter of the Verus tuorial on "how to prevent LLMs from cheating proofs" personally
0 likes 0 replies