Wolfram Alpha is computation. So it became a computational genius in precisely the things that Wolfram Alpha can do. A better test is whether it can prove new l

Wolfram Alpha is computation. So it became a computational genius in precisely the things that Wolfram Alpha can do. A better test is whether it can prove new lemmas, like the average undergraduate in mathematics. From what I tried, it cannot do that yet. I'm convinced that doesn't require a breakthrough in the architecture or scale of LLMs, though. GPT-4 seems plenty smart enough to be able to learn that, if hooked up to a proof assistant like Lean or Coq with the right fine tuning iteration loop.