Hacker News new | ask | show | jobs
by odo1242 17 days ago
This has been the standard in the world of "AI-produces-math-proofs" for a while