1 points | by virgildotcodes 8 hours ago ago
2 comments
Discussion: https://news.ycombinator.com/item?id=48863490
Proof linked here - https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98...
Prompt used - https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98...
Lean formalization of the proof - https://github.com/openai/cdc-lean
Discussion: https://news.ycombinator.com/item?id=48863490
Proof linked here - https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98...
Prompt used - https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98...
Lean formalization of the proof - https://github.com/openai/cdc-lean