An internal post-Astra model’s claimed mathematical edge draws skepticism

A post quoting Sam Altman’s conversation with Salesforce CEO Benioff relays his claim that an internal model beyond Astra can do things the world’s best mathematicians cannot. A critic sharing those remarks argues that solving challenges is different from developing new ways of understanding math, and says they know of no new mathematical insights from current systems. The critic also questions whether math results that rely on symbolic verification tools generalize well beyond math.