(I work at Anthropic, but far from any efforts related to math reasoning or formalization; opinions are my own) This is an incredibly speci...| Blog: Expanded Universe
