구글 딥마인드 AI, 에르되시 미해결 문제 9개 증명
AI가 증명을 쓰고 검사 도구가 틀린 곳을 잡아내는 방식이다. 56년간 풀리지 않았던 문제 2개도 해결했다고 연구진은 밝혔다. 논문은 다른 연구자들의 심사를 거쳐 Science에 실렸다.
#AI 수학
뉴스
오픈AI, 내부 AI가 낸 수학 결과 공개... 증명도 검증용으로
컴퓨터로 검증할 수 있는 증명과 연구 과정 자료를 GitHub에 올렸다. 결과를 만든 모델도 공개를 준비 중이라고 밝혔지만, 출시일과 가격은 밝히지 않았다.
