Taelin(@VictorTaelin)의 스레드

AGI 이후의 세계에서 사람들은 컴퓨터가 인지적 문제를 빠르게 풀고 모든 인지 영역에서 우리를 이길 수 있다는 사실에 익숙해질 것입니다. 마치 지금 우리가 컴퓨터가 큰 숫자를 빠르게 곱하거나 체스나 바둑에서 우리를 압도하는 것에 익숙해진 것과 마찬가지입니다. 소프트웨어와 수학은 그 희소성을 모두 잃게 될 것입니다. "젤다: 브레스 오브 더 와일드와 비슷하지만 포켓몬이 등장하는 MMORPG를 만들어 주세요. 리자몽처럼 전 세계를 날아다니고 갸라도스처럼 물속으로 뛰어들 수 있는 게임입니다. 친구들에게 보낼 수 있는 실행 파일을 제공해 주시면 모두가 같은 세계로 연결될 겁니다." 버튼을 누르면 3분 후에 완료됩니다. 2027년까지는 효과가 없을 것 같아요 "Lamport와 같은 양자 저항 서명을 사용하고, Lean과 유사한 언어로 스마트 계약을 배포할 수 있으며, 계약은 다음 사양에 따라 공식적으로 검증된 경우에만 허용되는 것을 제외하고는 비트코인과 정확히 동일한 블록체인을 만들어 주세요..." 버튼을 누르면 해킹 방지 체인이 완성됩니다. "3차원 공간과 시간에서 초기 속도장이 주어지면, 매끄럽고 전역적으로 정의된 벡터 속도장과 스칼라 압력장이 존재하며, 이를 통해 Navier-Stokes 방정식을 풀 수 있습니다." 버튼을 누르면 솔루션이 나옵니다. 수학은 근본적으로 쉬운데, 이는 일부 사람들의 세계관을 깨뜨릴 것입니다. 현재 수학은 체스가 그랬던 것처럼 신비롭게 어려워 보입니다. 왜냐하면 우리는 수학에 어려움을 겪는 동물이기 때문입니다. 분수를 더할 줄 아는 사람은 극소수에 불과하며, 한계에 도전하는 것은 더더욱 어렵습니다. 그래서 어려운 문제는 오랫동안 풀리지 않은 채 남아 있습니다. 우리는 천재들을 칭찬합니다. 하지만 그렇지 않아 컴퓨터가 해내면 그런 일은 더 이상 없을 겁니다. 정리 증명은 큰 수를 곱하는 것만큼이나 쉬워질 겁니다. "당연하지만 괴델이라니?" 하는 사람들은 여전히 ​​혼란스러워할 겁니다. 그리고 컴퓨터는 불가능할 정도로 어려운 문제에 대해 믿을 수 없을 정도로 간단하고 깔끔한 린(Lean) 증명을 내놓을 겁니다. 수학자들은 그건 그저 검사기를 만족시키기 위한 속임수일 뿐이고, 우리가 이해할 수 없다면 진짜 수학이 아니라고 소리칠 겁니다. 하지만 그러면 우리는 AI에게 질문할 것이고, AI는 우리의 뇌가 생각해내기에는 너무나 생소한, 놀라울 정도로 영리한 수학적 구조의 본질을 친절하게 알려줄 것입니다. 그리고 인생은 계속될 것이다 자동화가 100배 증가할 것입니다 음식과 물건이 풍부할 것이다 모든 것의 가격이 폭락할 것이다 복사할 수 없는 것 외에는 인간의 시간과 주의와 같은 역대 최고 기록을 세울 것이다 그리고 인간은 여전히 ​​체스를 둘 것이다 그리고 인간은 여전히 ​​소프트웨어를 쓸 것입니다 그리고 인간은 여전히 ​​수학을 할 것입니다 그리고 우리는 춤추고, 스포츠를 하고, 사랑할 거야 우리가 항상 그랬듯이 그것을 사랑해서 소프트웨어와 수학은 희소성을 잃게 될 것이다 컴퓨터는 진정한 일반 솔버가 될 것입니다 그리고 우리는 당신이 생각하는 것보다 빨리 익숙해질 것입니다 그리고 인생은 계속될 것이다