[📪정보] 수학 공식 가설 생성하는 '천재 AI' 나왔다...증명은 아직 사람이 해

[ㅇㅇㅇ(14.32)]

http://www.aitimes.com/news/articleView.html?idxno=136444
이스라엘 공과대학 연구소 '가설'(Conjecture) 생성 인공지능 개발
'라마누잔 기계'로 명명...가우스가 평생 연구 끝에 발견한 원주율(pi), 몇 시간 만에 재발견
인공지능 생산한 가설 자체 증명하지는 못해. 증명은 사람의 몫


특이점은...온다...

[익명(223.38)]

증명은 인간이하래ㅅㅂㅋㄱㄱ

[익명(211.230)]

ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ

[ㅇㅇㅇ(14.32)]

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

[익명(112.158)]

디자인팀이노;;

[비스뀌(ty66kill)]

What the...! 왔다...!

[별박이(axur123)]

진짜 미래에는 컴퓨터가 연구도 알아서 다 하는건가 뭐하고 살아야하는거지

[익명(211.212)]

알파고가 이렇게 바둑 두는 이유도 모르는데 가설을 알아서 증명하라니 참 ㅋㅋ

[익명(182.218)]

문제내는 인공지능ㅅㅂㅋㅋㅋㅋㅋㅋㅋ 나중에 수능도 인공지능이 내겠네ㅋㅋㅋㅋ

[익명(180.66)]

과학자님들 화이팅!

[익명(61.82)]

ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ증명은 인간잌ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ

[Aaasaaaw(alkla)]

증명하는 ai는 없냐고