Google Deepmind의 AlphaProof Nexus, 수십 개의 열린 수학 문제 해결

Techub News 보고에 따르면, Google Deepmind의 AlphaProof Nexus가 수십 개의 열린 수학 문제를 해결했으며, 그 중에는 아흔 개의 에르되시 문제가 포함되어 있습니다. 그 중 두 개는 56년 동안 미해결로 남아 있었습니다. 연구 결과는 "Science" 저널에 게재되었습니다. 이 기사는 OpenAI가 이전에 동료 검토 없이 GitHub에 AI 생성 수학 증명을 공개한 것에 대해 비판을 받았던 반면, Deepmind은 발표 전에 결과를 검토했다고 밝혔습니다. (The Decoder)