GPTf and PACT talk today

Stream: lean-gptf

[Jason Rute]

In about 7 hours, at 3pm EST (UTC-5), I'm going to give a Zoom talk at the Harvard New Technologies in Mathematics seminar on our gptf tactic and the PACT method we use to train the current version. There will be a demo. Here is the abstract and Zoom link. I also think it will be recorded and put on YouTube.

[Kevin Buzzard]

Oh nice! I gave a talk there a few months ago and Yau (big shot geometer) was in the audience. I think Hales spoke there recently -- they put my talk on YT so hopefully yours and Hales' will also end up there too

[Jason Rute]

The video is up on YouTube and the slides are here.

[Jason Rute]

We would love to have you try out the gptf tactic. See the instructions at https://github.com/jesse-michael-han/lean-gptf . (It is fairly easy to setup. You don't have to install any special software or anything like that, besides Lean of course. The model runs in the cloud.)