> Hardly. The second question may be answered, but clearly not the first.

Also, the second question is answered in the negative for anyone who actually looks at what models do rather than what their makers claim they do. Models are very stupid.

Turns out we were all wrong assuming mathematicians are some of the most intelligent people. Very stupid models can prove math things that the smartest humans failed to for decades.