과학 X/Twitter
Astra가 난제 10건을 $2,000 토큰 비용으로 풀어낸 의미
AI가 수학 연구의 비용 구조를 바꾸고 있다. OpenAI는 내부 Astra 모델이 약 $2,000 상당의 GPT-5.6 Sol 토큰으로 10개 난제 결과를 만들고 Lean 인증서까지 냈다고 밝혔다.
1분 소요 17 조회
태그
#openai
#openai 태그가 달린 기사
과학
AI가 10개 난제에 새 증명 제시… Lean 검증까지 공개
OpenAI가 미공개 모델 Astra로 수학·이론컴퓨터과학의 장기 미해결 문제 10건에 대한 새 결과를 냈다. 각 논증은 사람이 논문 형태로 정리한 뒤 Lean certificate로 형식 검증됐고, 탐색 비용은 Sol API 요금 기준 약 $2,000로 제시됐다.
1분 소요 17 조회
과학 X/Twitter
Astra가 10개 난제를 Lean 증명서로 검증한 OpenAI의 연구 승부수
OpenAI의 차기 모델 계열 Astra가 수학·이론컴퓨터과학의 장기 미해결 문제 10개에서 새 결과를 냈다. OpenAI는 전체 해법 탐색의 토큰 비용을 Sol API 기준 약 $2,000로 제시했고, 각 결과를 Lean 증명서와 함께 공개했다.
1분 소요 21 조회
AI
OpenAI, 주간 10억 사용자 돌파…AI 비용 경쟁의 다음 국면
OpenAI 모델이 주간 활성 사용자 10억 명과 기업 고객 200만 곳을 넘었다. 전날 GPT-5.6 Luna 80% 인하까지 겹치며, AI 경쟁의 초점은 모델 순위보다 “쓸 만한 지능을 얼마나 싸게 공급하느냐”로 이동하고 있다.
2분 소요 19 조회
LLM X/Twitter
GPT-5.6 Luna 80% 인하와 Terra 20% 인하로 바뀐 API 비용 구조와 Codex 사용량
OpenAI의 최신 가격 조정은 같은 예산으로 더 많은 호출을 처리하려는 개발팀에 직접적인 변수다. GPT-5.6 Luna는 80%, Terra는 20% 낮아졌고 Codex와 ChatGPT Work의 사용량 계산에도 반영된다.
1분 소요 19 조회
LLM
GPT-5.6 Luna 80% 가격 인하, Sol은 Fast mode로 2.5배 가속
가격표가 먼저 움직였다. OpenAI는 GPT-5.6 Luna 가격을 80%, Terra 가격을 20% 낮추고 Sol API에는 Standard 대비 최대 2.5배 빠른 Fast mode를 붙였다.
1분 소요 19 조회
LLM
ARC-AGI-3 점수 13.3%→38.3%, 모델보다 harness가 바꾼 순위
같은 GPT-5.6 Sol도 평가 harness가 reasoning을 보존하고 compaction을 쓰면 ARC-AGI-3 점수가 13.3%에서 38.3%로 뛴다. 모델 성능표를 볼 때 API 설정과 context 처리 방식까지 같이 봐야 한다는 경고다.
1분 소요 25 조회
LLM X/Twitter
GPT-5.6 Sol, 서빙 비용 20% 절감과 토큰 효율 15% 개선을 만든 내부 최적화
모델 성능 경쟁이 추론 비용 경쟁으로 옮겨가고 있다. OpenAI는 GPT-5.6 Sol을 배포 뒤 자체 최적화에 투입해 서빙 비용 20% 절감, 토큰 생성 효율 15% 이상 개선을 얻었다고 밝혔다.
2분 소요 21 조회
AI X/Twitter
OpenAI, 연구자 10만 명에게 GPT-5.6 Sol Pro 무료 접근을 열어 과학 AI 보급 확대
프런티어 모델 접근권이 대형 연구소 밖으로 넓어진다. OpenAI는 올해 여름 1만 명으로 시작해 2027년까지 10만 명의 과학자·수학자·엔지니어에게 무료 연구용 ChatGPT 워크스페이스를 제공한다.
2분 소요 21 조회
AI
OpenAI 새 transcription API, 파일·실시간 음성 모델을 둘로 분리
OpenAI가 2026년 7월 28일 GPT Transcribe와 GPT Live Transcribe를 GA로 공개했다. 파일 전사와 live audio 전사를 분리하고, keyword hint와 복수 language hint를 새 기본 경로로 밀어 올렸다.
1분 소요 19 조회
AI X/Twitter
프런티어 AI 속도 조절론, 1,224명 서명과 OpenAI 지지로 정책 의제 중심에 부상
OpenAI가 프런티어 AI 개발 속도를 조절할 기술과 거버넌스 도구가 필요할 수 있다고 밝혔다. 별도 청원에는 프런티어 AI 기업 직원 1,224명이 서명했고, 미국 정부 주도의 국제적 노력을 요구했다.
1분 소요 22 조회
AI X/Twitter
Codex Security CLI 공개, 저장소 스캔부터 CI 검증까지 오픈소스로 넓어진 방어 도구
OpenAI가 Codex Security CLI와 TypeScript SDK를 오픈소스로 공개했다. 트윗은 64만 회 이상 조회됐고, 저장소 스캔, 실행 간 취약점 추적, 수정 검증, CI 보안 검사를 한 도구로 묶었다.
2분 소요 19 조회