Just me or it seems he’s making these 2 wrong assumptions? 1. He thinks this was a system (of models) like AlphaProof 2. That this model had internet access
Surprising that no one on mathstodon has mentioned this. I wonder what he would say if he knew it was a single LLM without internet access.
Just me or it seems he’s making these 2 wrong assumptions?
1. He thinks this was a system (of models) like AlphaProof
2. That this model had internet access
Surprising that no one on mathstodon has mentioned this. I wonder what he would say if he knew it was a single LLM without internet access.