Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

In math specifically, one could easily imagine a reward signal from some automated theorem proving engine


Yeah. I went into some detail of how it might work here: https://news.ycombinator.com/item?id=38036986




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: