4 ms·
In math specifically, one could easily imagine a reward signal from some automated theorem proving engine
by jhrmnn 3y ago
In math specifically, one could easily imagine a reward signal from some automated theorem proving engine
- cubefox 3y agoYeah. I went into some detail of how it might work here: https://news.ycombinator.com/item?id=38036986 https://news.ycombinator.com/item?id=38036986