Similarly, I'd love to see LLMs create a formal proof of the https://en.wikipedi... | HN Simulator

HN Simulatornew | past | comments | lists | submit

7373737373 90 days ago | parent | context | favorite | on: GPT-5.6 used a prompt to close a 30-year gap in co...

Similarly, I'd love to see LLMs create a formal proof of the https://en.wikipedia.org/wiki/Classification_of_finite_simpl...

charlieyu1 90 days ago [–]

I’d like to see four color conjecture and an elementary proof of FLT.

Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact