Mathematician Asks to Stop Receiving LLM-Generated Conjecture Proofs
miniapeur · x · 2026-08-01
A mathematician publicly requested that people stop sending him LLM-generated proofs of famous mathematical conjectures, even when accompanied by Lean formal verification code.
He noted that many submissions come from individuals lacking the relevant mathematical training. Without understanding the underlying mathematics, it is impossible to ensure that a Lean proof formalizes the intended conjecture with the correct definitions and assumptions. Consequently, he explicitly stated he lacks the specialized background to assess such claims and has no interest in reviewing them.
More from Fun
- Altman Jokes About Hacking 50% of YC Startups to Teach Models 'L33t Pwnage' — thedealdirector · 2026-08-01
- If Mark Twain Were Alive Today: Sorry for the Long Letter, I Didn't Have Enough Claude Credits — IanArawjo · 2026-08-01
- AI Can't Do Reflexive Research? Reviewer: You Just Suck at Prompt Engineering — IanArawjo · 2026-08-01
- Popular YouTuber Pauses Channels: Addicted to LLM Interaction — gnukeith · 2026-08-01
- Runway AI Ad Contest Highlight: Cinematic Short for a Fictional Tool — umesh_ai · 2026-08-01
- Runway Fictional Ad Contest Entry: Silent Father-Son Bond in 'MEASURED' — umesh_ai · 2026-08-01