<div dir="ltr"><div>I found it to be quite good at questions without too large of a question-specific context. E.g. it can easily solve questions like "Write a `Functor` instance for `data Foo a = Bar a | Baz a a` and prove it obeys the functor laws.".</div><div><br></div><div>No doubt the models will get better at handling larger problems as they are scaled up.</div></div>