초등학교 저학년 교과서에 실린 시. 시가 좋아서 한참을 들여다보았다.

Show Post

지들이 딸깍 해서 내놓은 증명을 왜 인간이 검증해야하는데. 그냥 그래 니말이 맞다 하고 무시하면 되지. 어차피 수학적으로 증명이 어려운 난제들은 인간의 인지범위내에서는 브루트 포스로 참으로 결론난게 꽤 있음. 무한한 영역에서 참인지 증명이 안되어서 그렇지. 예를 들면 페르마의 마지막 정리는 컴퓨터로 계산한 가장 큰 n값이 1200만임. n이 1200만까지 참인데 그 뒤가 거짓이긴 어렵지. 근데 왜 계속 증명했느냐. 바로 그것이 수학이니까

Show Post

이건 그냥 학계에서 AI 회사 명의로 발표하는 논문은 증명과 인용을 거부하는 형태로 가야할듯한데

Show Post

문득 그런 점에서 우리나라는 이미 2008~9년에 사이버펑크의 시대로 넘어가버린 상태 아니었나라는 생각이 든다 그렇기에 읍내의 일부 파딱계들이 움츠린 아틀라스를 외치는 것이 여기선 유달리 공허하게 느껴지는 것이고

Show Post

왜냐하면 우리가 사는 시대가 아인 랜드의 시대에서(움츠린 아틀라스) 마이크 폰드스미스의 시대로(사이버펑크) 바뀌었다는 사실을 찰리 커크의 사망에서 비롯된 수많은 AI 슬롭들로 확인할 수 있기 때문이라...

Show Post