AI · Research · 2026-10-28 12:00
The author responds to criticism by explaining why they refuse to read Lean proofs generated by ChatGPT, touching on broader disagreements within the mathematics community about the trustworthiness of AI-formalized proofs.
Auto-generated summary for reference only. RSS