In brief
OpenAI says its AI has disproved the 27-year-old Exponential Time Hypothesis.
A Lean-verified proof is now being sent to the hypothesis's original authors for review.
P versus NP remains an open problem, but AI is testing assumptions that crypto relies on.
Read the original story, “OpenAI Says Its AI Disproves the Exponential Time Hypothesis: Is Bitcoin Safe?”, by Jakub Dziadkowiec at nl.beincrypto.com
