[📪정보] 인공지능을 이용한 정리 증명 :GPT-f

[외계인(175.223)]

https://pseudorandomstring.wordpress.com/2020/09/13/인공지능을-이용한-정리-증명-gpt-f/


여튼 논문의 주장으로는 인공지능을 이용해서 기존의 증명들보다 짧은 증명을 찾아서 라이브러리에 기여를 했고, 이게 딥러닝 기반 정리 증명으로 해당 증명 학회에 기여를 한 최초의 사례라고.



굿

[외계인(175.223)]

https://pseudorandomstring.wordpress.com/2020/09/13/인공지능을-이용한-정리-증명-gpt-f/

[익명(inside666)]

중복 정보임