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