[일반] 수학 증명을 해내는게 진짜인데...

[익명(183.101)]

어떻게 그런 ai 를 만들지는 아직 모르는듯?

[올앳원스(youtubegoogle3)]

연역논증만 수학인건아니징

[익명(haircut2819)]

엥 수학은 연역의 학문 아녀?

[Weisser_Adler(adler1)]

[올앳원스(youtubegoogle3)]

귀납적으로 알아낸 사실이 이후 연역적으로 논증하는데 도움도되고, 토대가 되니까. 또 컴퓨터나 수치해석, 최적화, AI같은 응용수학은 아예 이쪽이 상당히 중요한부분도 있음 막상 수학자들은 그리고 연역적으로 생각하기보다, 패턴, 공감각, 직관을 상당히 많이쓰니까

[올앳원스(youtubegoogle3)]

확률로 증명하는경우는 더 애매해짐..ㅋㅋ

[익명(118.35)]

그런 형식의 프로그램은 이미 존재함. 만들어서 이미 적용도 했었고 다만 현재의 ai 주요 방법론과 정반대이기 때문에 ai가 이런 쪽에서 맥을 못추는거임

[Weisser_Adler(adler1)]