더 많은 증명이 될꺼라 생각함.


읽어보니까 인간이 풀기 힘든 가짓수를 가져서 압도적 계산능력이 필요한걸 이번에 AI가 찾아낸거네.

1. 수 세기 동안 수학자들은 표준 행렬 곱셈 알고리즘이 효율성 측면에서 달성할 수 있는 최선의 알고리즘이라고 믿었다. 그러나 1969년 독일의 수학자 폴켄 스트라센이 더 나은 알고리즘이 존재한다는 것을 보여줌으로써 수학계에 충격을 줬다. 스트라센은 매우 작은 2x2 행렬에서 행렬의 항목을 결합해 더 빠른 알고리즘을 생성하는 독창적인 방법을 발견했다


2. 하지만 이후 수십 년간의 연구에도 불구하고 스트라센 알고리즘을 능가하는 행렬 곱셈 알고리즘을 발견하지 못했었다. 그런데 이번에 알파텐서가 다양한 행렬 크기에 대해 최신 기술보다 더 효율적이고 인간이 설계한 것보다 성능이 우수한 알고리즘을 발견한 것이다.





근데 걱정되는건 수학자들 입지가 줄어드는건 아니겠지? 내말은 인공지능에게 먹힌다! 이게 아니고 컴퓨터 공학자들이 인공지능의 압도적 계산능력에 편승해 수학자를 대체할까봐 이게 생각남