[Metamath] AI

['fl' via Metamath]

https://twitter.com/ylecun/status/1217177049346916352

-- 
FL

-- 
You received this message because you are subscribed to the Google Groups 
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to metamath+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/metamath/aec8fdcc-1923-4c0e-a9cf-ceaa4de8a474%40googlegroups.com.