Video
Unknown · 0:00
This talk explores how AI has split mathematics' two core goals—getting answers and gaining understanding—which used to be inseparable, and argues that interpretability-adjacent techniques may be needed to reconnect t...
Unknown · 0:00
This talk explores how AI has split mathematics' two core goals—getting answers and gaining understanding—which used to be inseparable, and argues that interpretability-adjacent techniques may be needed to reconnect t...
Redirecting...