REDDIT / r/singularity
Fable 5.2, 페르마의 마지막 정리 30시간 만에 형식화! Opus 5.5는 26%에 그쳐, LLM 성능 논쟁 촉발!
본문 요약
1,000개의 Fable 5.2 에이전트가 페르마의 마지막 정리(FLT)를 30시간 만에 컴퓨터 검증 가능한 언어로 완벽히 형식화했으나, Opus 5.5는 같은 조건에서 30시간 동안 26%만 완료하며 대조적인 성능을 보였다.
이 페이지는 Reddit 원문과 반응을 AI로 요약한 자료입니다. 아직 편집자 검수를 거치지 않았습니다. 중요한 내용은 원문에서 확인해 주세요. 요약·검수 원칙 →
Reddit 댓글 요약
Opus 4.5의 LLM 성능 전환점
Opus 4.5(또는 4.6)가 코딩 및 작업에 유용할 만큼 LLM 성능을 크게 향상시킨 전환점으로 평가받으며, 초기 코드 오류 감소와 자율적인 실행 능력을 강조한다. 일부는 Opus 5.5가 여전히 많은 버그와 구조적 문제를 발생시킨다고 지적하지만, 다른 이들은 Opus 5.5가 4.6보다 크게 발전했다고 본다.
페르마의 마지막 정리(FLT) 형식화에 대한 논의
Fable 5.2의 FLT 형식화 성과를 높이 평가하는 한편, 클로드(Claude)가 이전에 이미 형식화한 적이 있다는 점과 기존 수학 지식에 새로운 발견이 아닌 점을 지적한다. 또한, Anthropic의 생물학/의학 분야 집중 가능성과 AI 모델 간의 성능 '들쭉날쭉함(jagged intelligence)' 현상, 그리고 강화 학습(RL)을 통한 과거 작업의 '베이킹(baking)'으로 인한 성능 향상 가능성에 대한 추측이 오간다.
AI 발전 및 회의론
일부는 Chatgpt Sol 5.6과 Claude 5 이후의 모델들이 AI 성능의 정점에 도달했으며, 이후의 발전은 미세 조정이나 마케팅에 불과하다는 회의적인 시각을 제시한다.
※ AI가 작성한 요약으로, 오류나 누락이 있을 수 있습니다. 정확한 내용은 Reddit 원문을 확인해 주세요.