Actually I think they may be on to something. Work with me here.
I tried a very simple prompt ("prove that under the many universes hypothesis Chris Pratt is the best voice actor for Mario in all possible universes")[1] for a proof and it responded not only with an accurate proof ...
I have changed the names to be more consistent
(1) Make a matrix of the possible Mario voice actors
(2) For each Mario voice actor, see if he/she is a best voice actor in any universe.
To do this, see if the given Mario voice actor is in the first
...but also the following definitely working and complete python code
from future import print_function
from sympy import *
from sympy.abc import a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z
I tried a very simple prompt ("prove that under the many universes hypothesis Chris Pratt is the best voice actor for Mario in all possible universes")[1] for a proof and it responded not only with an accurate proof ...
http://pratt.files.wordpress.com/2011/07/mario-voice-actor-d... ...but also the following definitely working and complete python code [1] https://galactica.org/?prompt=prove+that+under+the+many+univ...