[일반] AI의 수학 난제 증명은 개소리로만 들렸는데

[익명(118.235)]

chat gpt 느껴보니 

가능성 매우 있어보임

[익명(104.28)]

난 오히려 논리에 논리를 결합하는 수학 증명은 RLwHF로 이뤄낼 수 없다는걸 실증한것같은데

[익명(118.235)]

이게 맞음

[익명(121.169)]

ㄹㅇ

[익명(125.130)]

ㄹㅇ 이건 맞고 아마 수학적 난제증명은 다른 AI 방식으로 가능성 있을거같기도 한...

[익명(110.70)]

오히려 별거없던데

[익명(119.198)]

전혀

[익명(106.101)]

수학이 언어 위에 쓰인건 맞지 인공지능 발전도 알고리즘적 발전보다는 거의 하드웨어 성능따라 올라오는건데 좀만 큰 혁신적인 발전생기면 어떨지모름

[Affine(algebra500)]

gpt는 언어학습을 거쳐 이상하지 않게 말을 이어가게 만든거지, 수학적 증명을 위해 만들어진게 아님