>The power to understand and predict the quantities of the world should not be restricted to those with a freakish knack for manipulating abstract symbols.

With powerful tools of the type Bret envisions, humans, in aggregate, might have a chance of staying ahead of LLMs at even frontier math..

(But maybe that wouldn't fare so well against future world-models, who knows)

here might be something to point those tools at--- if one isn't fixated on "predictions", or "real world" https://youtu.be/fec8qSBiM4k

So this guy has been "killing math" since 2011. The inevitable question: where are achievements, success stories, anything at all?