AI: reasoning and mathematics

From 184244@epfl.ch  

views comments