Software engineer and prolific Erdős problems forum participant who used ChatGPT to formalize mathematical proofs.
Referenced in coverage
“Software engineer and prolific Erdős problems forum participant who used ChatGPT to formalize mathematical proofs.”