[일반] 근데 수잘갤러들은 인공지능 사용 어케생각해?

[익명(223.38)]

사색문제도 컴터가 해결하고

연구자가 컴터의 해결과정은 문제없음을 증명한걸로

증명했다구 하잖앙

이게 하나의 트렌드인건가???

아니면 이단적인 방법인건가???

걍 진로 고민중임 인공지능쪽으로 대학원갈까

[ultraproduct(ultraproduct)]

하켄 아펠 그거 1500가진가 줄인 건 그 사람들이 했고, 그 유한한 경우 따지는 거 컴퓨터로 문제없이 수행했다는 거 보이면 상관 없지 않겠어?

[hentaiMATH_Play(nsa15464)]

난 제발 인공지능이 수학 정복했으면 좋겠음 제에에에발..

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[hentaiMATH_Play(nsa15464)]

지금 단계에서도 인공지능이 아이디어 주는게 가능하다면 힌트박스같은 느낌으로 사용할 수 있을것 같음. 현재 유효할것 같은 증명 전략들, 아이디어들 인공지능이 추천할 수 있으면 대박일것 같은데

[웨리의모험(49.143)]

컴퓨터나 인공지능이 해결하더라도 그 해결하는 과정의 매커니즘을 결국 인간이 전부 이해하고 있기 때문에 인간이 할 일을 대신해주는 것과 크게 다르지 않음

[웨리의모험(49.143)]

결국 그 매커니즘이 정말로 오차없이 정확하게 이루어졌느냐를 검증할 수 있는지를 확인해야겠지

[익명(223.39)]

4색정리랑은 다른얘기지 이제는 AI가 정말로 주체적인 연구를 시작하는건데

[익명(121.162)]

AI는 그냥 계산 통계라서... 지금같은 방식으로는 그런게 될 리가 없다고 봄