# @voooooogel — 2026-05-21

♥1 ↻0 · https://x.com/voooooogel/status/2057349037213552733

@pozander @lu_sichu it is a bit confusing. afaiui what they're saying is that output a) wasn't guided by an external judge / verifier (noam confirmed the solve didn't use lean), though it might've been detected by one, and b) the final proof was rewritten for simplicity w/ human assistance (see img) https://t.co/rybdPgRXYC

tags: author:voooooogel, kind:tweet, thread-context, year:2026