math solved?

Stream: general

[Jörg Hanisch]

Is math solved?
Link to Meta AI
:joy:

[Junyan Xu]

"we’ve made our model available through the Lean Visual Studio Code (VSCode) plugin"
(see https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/api.20suggestion.20vscode.20integration and https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Lean.20in.20the.20wild/near/307811456)