[일반] 인공지능 GPT가 한 수학 증명, 공식 수학커뮤니티에서 채택

[익명(175.223)]

http://www.aitimes.com/news/articleView.html?idxno=132159

[익명(175.223)]

http://www.aitimes.com/news/articleView.html?idxno=132159

[llll(118.235)]

신기허네 ㄱㅅ 나중에 읽어봐야지 아마 우리가 말하는 수학적 증명 뭐 그런건 아니구 기계어/로직으로 이루어진 증명을 원래 이런저런 알고리즘으로 찾았는데 그 부분을 gpt로 한건가보네 뭐 그래도 옛날옛적 쉬운 imo같은걸 formal하게 바꾼거정도는 풀 수 잇다는거같은데 신기하네

[익명(61.255)]

쩌네. peer review만 거치면 완벽할듯.

[익명(59.8)]

ㅅㅂ ㅈ됐누 ㅋㅋ