Many people assume that the hard part of interpreting AI/ML papers is following the formulas, proofs, or other mathematical formalisms.
Yes, the symbols are often opaque, but there are great free resources online that can bring you up to speed quickly and clarify how all the parts of a Greek-letter sandwich fit together.
And absent that, if you plug a paper into an LLM, it can usually walk you through exactly what’s happening and translate the math into surprisingly accessible natural-language intuitions (or even interactive visual demos!).
The much harder and subtler task is judging whether a paper is using the right formalism—whether the quantitative framework is pointing accurately at the real-world problem the abstract advertises.
Most scientists can figure out if the math makes internal sense, but the harder question (“Is this formalism optimal for the problem?”) often requires deep knowledge of the tools of a given subfield or sub-subfield. And there’s not an AI scientist alive who can keep up with the details of every sub-subfield that might someday be relevant to their own work.
In addition, the harder question often requires a lot of zoomed-out thinking. Sometimes this takes deep theory—a motivating logic that connects the paper’s problem to higher or lower levels of abstraction. A lot of it is commonsense reasoning about the real-world problem the paper is trying to solve and whether the authors properly understood it and accurately characterized it.
For almost two years after AI did a decent job checking formulas, it was pretty terrible at this harder question.
But for the first time with Mythos/Fable class models, it often does a very good job. Not yet better overall than the best human scientists on its own, but good enough to be a valuable research partner.
This will be a significant accelerator of AI progress, because models can digest and synthesize more research and more diverse research than any human scientist could, and thus facilitate faster diffusion of good ideas to the people who can use them best.
Good points!