OpenAI 미출시 Astra 모델, 수학 난제 10 가지 정복

TechFlow 소식, 8 월 1 일, 새로 공개된 정보에 따르면 해당 미출시 모델 (GPT-6 일 가능성) 은 수학, 양자 복잡성 및 이론 컴퓨터 과학 분야에서 10 가지 장기 미해결 난제를 해결했으며, 이는 최초의 명시적 비 sofic 군, Connes 강성 추측 반증 등을 포함합니다. 핵심 논증은 Astra 가 생성했으며 Lean 에서 형식적으로 증명되었고, 249 페이지 분량의 원고 및 기계 검증 가능 인증서를 산출했습니다. Sol API 요금 기준 단일 성공적 해결 시 token 비용은 약 2000 달러에 불과했습니다.