WolframAlpha computational knowledge AI
who formulated FLT