⟳ Репост от Agreeable Chatter

I would have bet my house against the LLM approach being useful for mathematics. I was wrong, and for this crime, I deserve never to have a good life. Only people who correctly bet on this at the right time should have a good life.