Sonnet 4.6

Stream: Machine Learning for Theorem Proving

[Ralf Stephan]

If you're using Opus with Claude for Lean, try the new Sonnet 4.6 which seems surprisingly good for its cost tier (maybe not for deep research and reasoning, but that needs to be confirmed).