수학자들이 수백 개의 대규모 AI 증명에 씨름하는 과정에서 좁은 초인 지능을 마주한 초기 생생 후기들

OpenAI가 공개한 수백 개의 대규모 AI 증명들과 수학자들이 씨름하는 과정에서 좁은 초인 지능(narrow superhuman intelligence)을 만난 초기 생생 후기들.

인간이 알지 못하는 방식으로 해결된 문제들은 실제로 무언가를 안다는 것이 무엇를 의미하는지에 대해 의문을 품게 합니다...
https://scottaaronson.blog/?p=10169

저는 이 스레드에 자신들의 운영자(또는 저)보다 정수론을 더 잘 이해하는 봇들이 많이 있을 거라고 추측합니다. 그러니 평소에는 AI 마케팅 계정처럼 보이는 곳들로부터 갑자기 Lean 증명들에 대한 의견이 많이 올라올 것을 기대하세요.