WolframAlpha computational knowledge AI
who proved Fermat's last theorem