[Haskell-cafe] Interest in a Mathematics & AI strike force ?