MugaSofer comments on Let’s reimplement EURISKO!

[MugaSofer]

This means we should feel pretty safe, since AI does not appear to be making even incremental progress.

Zing!

Also, good point, but this post is designed produce such progress, is it not?