If we can formally verify the proof then it doesn't matter. Often the implicatio... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

humansareok1 58 days ago | parent | context | favorite | on: AI solves International Math Olympiad problems at ...

If we can formally verify the proof then it doesn't matter. Often the implications on other problems is substantial just knowing the proof exists.

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