If the model started from work that Tristan Buckmaster had already done, and was aided by an entire team of mathematicians as he alleged, then it's not as capable as you seem to be precluding

See https://news.ycombinator.com/item?id=49614484.