[📪정보] 인공지능 GPT-f가 생성한 수학 증명, 공식 수학커뮤니티에서 채택

[익명(14.32)]

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

수학적 컴퓨터 언어인 메타메쓰(Metamath) 사용 23건 채택
오픈AI 연구원 "인공지능이 증명한 식 처음으로 공식 채택"

출처 : AI타임스(http://www.aitimes.com)

ㄷㄷ 진짜 온다

[익명(14.32)]

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

[익명(124.56)]

헐 온다 온다 특멘!!

[ㅁㄴㅇㄹ(175.223)]

onda..... - dc App