Hacker News new | ask | show | jobs
by ninguem2 4439 days ago
One day, perhaps. Automatic checking of proofs is nowhere near there yet for most serious mathematics.