참고 해보셨나요? 그 증명이 인간이 읽을 증명이 아니던데
시간이 지나면 인간이 이해할만하게 변환해주지 않을까
ㄷ
나도 보여줘. 어디서 보면 되는데
메타메쓰에 올라온거 말하는건가? 그거는 사람 풀라고 만든거 아닐 정도로 엄청 꼬아놓은 문제라 그다지 의미없는거 같음. 화학부에서는 합성경로 대신 고안해주는 알고리즘 나온지 20년도 넘었는데 화학부 멀쩡하게 돌아가잖아
그렇다고 범용적 유용성이 증명되지는 않을듯
강 인공지능이 나오기 전까지는 사람을 대체할 리는 없음
참고 해보셨나요? 그 증명이 인간이 읽을 증명이 아니던데
시간이 지나면 인간이 이해할만하게 변환해주지 않을까
ㄷ
나도 보여줘. 어디서 보면 되는데
메타메쓰에 올라온거 말하는건가? 그거는 사람 풀라고 만든거 아닐 정도로 엄청 꼬아놓은 문제라 그다지 의미없는거 같음. 화학부에서는 합성경로 대신 고안해주는 알고리즘 나온지 20년도 넘었는데 화학부 멀쩡하게 돌아가잖아
그렇다고 범용적 유용성이 증명되지는 않을듯
강 인공지능이 나오기 전까지는 사람을 대체할 리는 없음