기하 및 증명도 가능한 AI가 나왔다고 합니다.
아래 기사를 첨부하겠습니다. 기사 내용을 간단히 요약하면
구글에서 '알파지오메트리'라는 오픈소스 ai를 공개했습니다.
수학문제 해결뿐 아니라 그동안 생성형ai 한계였던 수학증명까지도 가능해진 모델로 보입니다.
구글에서 밝히기엔 수학올림피아드 문제도 메달리스트 수준으로 해결했다고 합니다.
https://www.aitimes.com/news/articleView.html?idxno=156603
오픈소스로 github에 코드가 공개되어 있습니다.
https://github.com/google-deepmind/alphageometry
아직 살펴보진 않았지만 한 번 설치해보고 실행해 보고 싶네요.
혹시 프로그래밍 어느정도 지식있으신분들 함께 공부해봐도 좋을거 같아요^-^
바쁜거 정리되면 저도 이거 한 번 시도해보겠습니다.
와, 정말 흥미로운 소식이네요! AI가 수학 문제 해결과 증명까지 가능하다니, 놀라운 발전이네요. 오픈소스로 공개된 코드를 통해 직접 실행해보는 건 정말 흥미로울 것 같습니다. 함께 공부하고 실험해보는 것도 좋은 아이디어네요. 프로그래밍 지식이 있는 분들과 함께 공부하면 더욱 효과적일 것 같아요. 이런 기술의 발전이 더 많은 분야에 영향을 미치기를 기대해봅니다!