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