You mean Strong DM? I stand by what I said about them at the time: they're an interesting case-study in extreme AI-assisted software development, and they have a bunch of ideas that are worth learning from even if you're not going to spend that (absurd) kind of money.

One of the hot topics since then has been how to validate software without reviewing every line of code by hand, which is exactly the kind of thing they were exploring before anyone else.