구글 딥마인드 AI, 에르되시 미해결 문제 9개 증명
AI가 증명을 쓰고 검사 도구가 틀린 곳을 잡아내는 방식이다. 56년간 풀리지 않았던 문제 2개도 해결했다고 연구진은 밝혔다. 논문은 다른 연구자들의 심사를 거쳐 Science에 실렸다.
2026년 10월 13일 화요일
AI가 증명을 쓰고 검사 도구가 틀린 곳을 잡아내는 방식이다. 56년간 풀리지 않았던 문제 2개도 해결했다고 연구진은 밝혔다. 논문은 다른 연구자들의 심사를 거쳐 Science에 실렸다.