OpenAI gpt-f key

Stream: lean-gptf

[Ayush Agrawal]

@Jason Rute Hi! I applied for an OpenAI key for using gpt-f key by filling a google form mentioned in a repo. Should I have to do something else also to get the access? Please advise.

[Floris van Doorn]

I believe you have to wait a bit to get an email with subject "Welcome to the OpenAI API Beta" before you can actually use it.

[Stanislas Polu]

@Ayush Agrawal let me check :+1:

[Stanislas Polu]

We had a bit of a backlog
Good think you reached out. Invites are out.

[Stanislas Polu]

But! Note that the model is quite stale. We're working on updating it, but don't be surprised if it's not super useful as it was trained on a rather old snaphost of mathlib

[Kevin Buzzard]

"rather old" = "earlier this year", right?

[Ayush Agrawal]

Let us know @Stanislas Polu if we need to fill the form again for the key access!

[Stanislas Polu]

@Kevin Buzzard yes! ~6 months

[Stanislas Polu]

@Ayush Agrawal mmmmh you should have received an invite email?

[Ayush Agrawal]

@Stanislas Polu I checked and I didn't receive the mail! Can u check once?

[Kevin Buzzard]

In maths, "rather old" means "last century" :-)

[Stanislas Polu]

But not in Lean/Mathlib :p

[Stanislas Polu]

@Ayush Agrawal an email was sent to t-ayuagrawal@microsoft.com titled "Welcome to OpenAI API Beta"

[Ayush Agrawal]

Its quite strange since I really haven't received the email. It might be due to some glitch. @Stanislas Polu Is it possible to resend the mail? Please let me know. Sorry for the inconvenience.

[Stanislas Polu]

Can you provide me with another email address?

[Ayush Agrawal]

Please send it to ayushagrawal1801@gmail.com. Thanks!

[Stanislas Polu]

Ayush Agrawal said:

Stanislas Polu Please send it to ayushagrawal1801@gmail.com. Thanks!

Done :+1:

[Ayush Agrawal]

Thanks a lot @Stanislas Polu . Got the mail!!