Formalization - AI
On AI
On Automated Math
On Formalization
On the Cost of Rigor
Gauss - Formalization of the Prime Number Theorem in Lean
Computing and the Linguistic Turn
Enigma (Wikipedia) Symbolic analysis and statistical analysis were both approaches codebreakers took in breaking Enigma. The development of AI has also incorporated both approaches. One historical question for AI is why the dominance of Symbolic AI from 1950 to 1990? Note the development of AI out of the Dartmouth Workshop and especially the contributions of one of its attendees, Ray Solomonoff , to the statistical approach, an approach taken up by Marcus Hutter , a DeepMind researcher. Note too that along with the difference between the symbolic and the statistical is the difference between language learning and computer vision. The turn Richard Sutton takes is to push learning outside the context of language, which is to push computing beyond its linguistic turn. The Linguistic Turn from Philosophy to Artificial Intelligence The Linguistic Turn The Linguistic Turn The Linguistic Turn , The Linguistic Turn ~ * ~ The Bitter Lesson First Richard Sutton Richard ...
Comments
Post a Comment