bluesky — Hung Le — 9 Oct 2026
The problem with big names praising "breakthroughs" by OpenAI is that it gives OpenAI a pass on mostly sloppy and someti…
#ai-assisted-mathematics #research-ethics #formal-verification
The problem with big names praising "breakthroughs" by OpenAI is that it gives OpenAI a pass on mostly sloppy and sometimes incorrect proofs, treating them as "machine things" that we should accept as a "small price". Would love to see them read the proofs and then write their understandings.