WolframAlpha computational knowledge AI
abel’s impossibility theorem