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

AlphaGo. Reinforcement learning on math with proof assistants was clearly going to be workable after that, even if not right away.


Consider applying for YC's Fall 2026 batch! Applications are open till July 27.

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

Search: