[일반] AI나 머신러닝으로 정리증명하는 그런건 아직없음?

[에탄올(kimarginine1)]

인간처럼 논리전개 팍팍팍 해가지고 해주는 놈 없나

[익명(39.7)]

논리전개 뿐만 아니라 실제 계산까지 해주고 있으신데...

[익명(223.38)]

계산은 초딩도 가능한거아님? 계산보다 증명이 훨씬 어려운거잖어

[익명(73.231)]

https://arxiv.org/abs/1807.08204

[익명(73.231)]

당연히 있지

[llll(118.235)]

궁금해서 앱스트랙트랑 논문 훑어봤는데 글에서 질문하는거 맞음? NTP라는게 다른 디스크릿알고리즘의 conti relax라는거 말고 여기서 말하는 theorem proving이랑 관계있는지 잘 모르겠네

[익명(73.231)]

님말이 맞음. 예전에 컨퍼런스에서 봤던 기억으로 대충 검색해서 링크를 별 관계에 없는 논문으로 잘못했음...

[llll(118.235)]

나두 궁금해서 찾아봤는데
https://arxiv.org/abs/1805.07563
NeurIPS2018
https://arxiv.org/abs/1905.09381
ICML2019
https://arxiv.org/abs/1904.03241
ICML2019
https://arxiv.org/abs/1905.10006
AAAI2020
이런거들이있네

[llll(118.235)]

자세히 본건 아닌데 좀 어려운 정리 증명하구 그런거는 잘 안되는 느낌인듯?? Artificial Intelligence in Theorem Proving이라는 슬라이드같은거 보니까 인간스타일 증명이랑 컴퓨터의 증명(예를들어 Coq스타일)이 많이 달라서 그 갭 채우는게 어려운게아닌가싶네

[llll(118.235)]

아마 logical하게 표현된 정리나 (그룹/링 등등 수준에서) 단순 수식 정리는 잘하지않을까 싶음 아니면 쉬운 수준의 글로 표현된 수학문제를 머신러닝으로 해석하고 푸는거정도는 할줄 아나봄