So the last I heard they had shut down the tool itself due to lack of use and I think the team inside openAI has moved on to working on Lean. I think they are contactable on Lean's Zulip chat: https://leanprover.zulipchat.com/
On Tuesday, April 25, 2023 at 7:07:01 AM UTC+1 [email protected] wrote: > Hi, is it still alive? Where to get access to try this tool? > > On Sunday, July 19, 2020 at 4:51:24 PM UTC+3 [email protected] wrote: > >> Wow this is really cool, thanks Stan. Also thanks for letting me use the >> tool, my friends are all suitably impressed :) >> > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/4a95d356-1f1e-41c0-a94f-6c774036dae0n%40googlegroups.com.
