OpenAI의 수학 혁신으로 암호화폐 보안의 다음 취약한 연결고리 노출

본문

OpenAI의 10,000개 에이전트 수학 혁신은 더 저렴한 스마트 계약 증명을 지향하는 동시에 개발자가 입증해야 할 사항을 정의하는 책임을 맡깁니다. AI는 곧 복잡한 스마트 계약 증명을 자동화하여 개발자에게 올바른 보호 기능을 지정하도록 더 많은 압력을 가할 수 있습니다. OpenAI의 최신 수학 혁신은 자동화된 정리를 스마트 계약 보안 워크플로우에 더 가깝게 증명할 수 있습니다. AI업체는 8일 “동시 AI 에이전트 약 1만명이 약 88시간 만에 나비에-스토크스 유체 운동 문제를 해결하는 솔루션을 만들어냈다”고 밝혔다. 소프트웨어 증명 도우미인 Lean의 형식화 및 검증에는 GPT-6 Astra를 사용하여 17시간이 더 필요했습니다. 시스템은 초기에 매끄러운 유체가 유한한 에너지를 유지하면서 유한한 시간에 특이점을 개발할 수 있음을 보여주는 분석적 증거를 생성하여 밀레니엄 상 공식의 사례 C와 D를 확립했습니다.

암호화폐 개발자에게 있어 보다 즉각적인 의미는 프로세스에 있습니다. CryptoSlate의 편집자가 해독한 암호화폐 이야기 움직이는 시장으로 하루를 시작하세요. Tao는 엄청난 컴퓨팅 리소스가 지원되는 자율 AI 시스템이 결국 복잡한 Navier-Stokes 솔루션을 생성하고 Lean과 같은 시스템에서 공식적으로 검증하는 동시에 반복적인 발견 프로세스의 대부분을 공개적으로 볼 수 없게 할 수 있다고 경고했습니다. 관련 읽기 OpenAI는 이전 연구원 중 한 명이 AI가 모든 사람을 죽일 수 있다고 생각하는 이유를 보여주었습니다. 암호화폐 개발자에게 더 즉각적인 영향은 프로세스에 있습니다. AI는 보안 병목 현상을 업스트림으로 이동할 수 있습니다. OpenAI의 실험 규모는 발표 5일 전에 설명한 수학자 Terence Tao의 시나리오와 매우 유사합니다.

OpenAI의 수학 혁신은 CryptoSlate에 처음 등장한 암호화폐 보안의 다음 취약한 링크를 노출시킵니다.