Hacker News new | ask | show | jobs
by oleg_kabanov 14 days ago
I like the idea, especially AI verification of the proof.