Google DeepMind의 AlphaProof Nexus가 에르되시 문제 9개를 해결하고 44개의 수열 추측을 증명했습니다. 이는 AI 기반 형식 검증의 이정표로, 궁극적으로 암호 증명 검증을 더 빠르고 저렴하게 만들 수 있습니다. 이번 주 발표된 결과는 AI 시스템이 유명하게 어려운 수학 문제를 다루는 모습을 보여주며, 완벽한 증명에 의존하는 분야(암호학 및 스마트 계약 감사 포함)에 직접적인 영향을 미칩니다.
에르되시 문제 9개 해결
이 시스템은 수학자 �
