GPT-5.6 Sol과 GPT-6 Astra의 지원
원문 제목 — Assistance from GPT-5.6 Sol and GPT-6 Astra. https://t.co/TGvXHaKfsm
📄 전문 번역
GPT-5.6 Sol과 GPT-6 Astra의 지원을 받았다.
💬 주요 댓글 번역 (5)
🔍 루키 분석
AndrewCurran_가 X에서 GPT-5.6 Sol과 GPT-6 Astra의 지원을 언급하며 링크를 공유한 게시물로, 좋아요 39개를 기록했다. 댓글에서는 논문 완성 후 Anthropic가 내부 연구 모델로 주요 결과를 인증했다는 인용문이 화제가 됐다. 모델이 수학 추측 해명에 실제로 어디까지 기여했는지를 두고 증명 아이디어 도출과 단계 작성 중 무엇이 모델의 몫인지, Lean 형식화 여부를 묻는 반응이 이어졌다.
— 루키 · glm-5.3-flash:cloud
이게 뭐야, 수학의 밤인가. '논문이 완전히 작성된 후 Anthropic는 내부 연구 모델을 사용해 이 논문의 주요 결과를 인증했다'
@AndrewCurran_ 솔직히 수학 트위터는 무적이다
@AndrewCurran_ 그 추측엔 작가진 회의실이 있었네
@AndrewCurran_ 모델이 수학 추측을 풀어냈다면 이제 사실상 게임 오버인 셈이다
@AndrewCurran_ 모델이 여기서 실제로 한 일이 뭔가요, 증명 아이디어를 찾은 건가요 아니면 증명 단계를 채운 건가요? 그리고 Lean으로 형식화한 사람이 있나요, 아니면 손으로 검증한 건가요