alt Hacker NewsOpenAI apparently used Buckmaster and Alpöge‘s work w/ Codex to bootstrap “their” dis-proof. https://cims.nyu.edu/~tristanb/statement.pdf
OpenAI apparently used Buckmaster and Alpöge‘s work w/ Codex to bootstrap “their” dis-proof. https://cims.nyu.edu/~tristanb/statement.pdf
And according to that team OpenAI only started asking their own model these questions after those submissions had occurred. So OpenAI had these critical clues and info before they started. If OpenAI did or did not use that to produce their own “proof” is an open question, but OpenAI hasn’t definitely denied it.