7월 12일 (일) AI 데일리 브리핑

소식 아티클 논문 인터뷰 팟캐스트

Grok 4.5가 4차원에서 깨지는 반례를 사람 개입 없이 만들어, 2021년부터 4~12차원이 비어 있던 5년 된 수학 문제에 답을 냈습니다. Sebastian Raschka의 GPT-5.6 비용 그래프에서는 가장 작은 Luna를 최고 강도로 돌리면 Sol Medium급 성능이 3분의 1 비용에 나왔습니다.

오늘의 브리핑3

오전 7시

1
AI에이전트
Pika가 새로운 '4K-VFX' 기능을 공개했습니다.
프롬프트 한 줄만 입력하면 영상 속 원하는 요소만 변경하고, 얼굴과 동작, 오디오, 카메라 움직임은 그대로 유지하는 방식입니다. 해당 기능은 'Seedance 4K' 기반으로 동작하며, 현재 'PikaMCP'에서 "/4k-vfx" 명령어로 사용할 수 있습니다.
프롬프트 한 줄만 입력하면 영상 속 원하는 요소만 변경하고, 얼굴과 동작, 오디오, 카메라 움직임은 그대로 유지하는 방식입니다.
해당 기능은 'Seedance 4K' 기반으로 동작하며, 현재 'PikaMCP'에서 "/4k-vfx" 명령어로 사용할 수 있습니다.
AI 인사이트
얼굴과 동작, 오디오, 카메라 움직임은 두고 요소만 바꾸는 편집이라 영상을 처음부터 다시 생성할 필요가 줄어듭니다.
2
xAI
Grok 4.5가 5년간 미해결이던 수학 문제에 답을 내놨습니다.
UC 어바인의 Paata Ivanisvili 교수는 2021년 Rupert Frank와 함께, 구면에서 함수를 매끄럽게 평균화하는 연산(푸아송 반군)의 크기 통제 성질인 hypercontractivity가 3차원 이하에서는 성립하고 13차원 같은 높은 차원에서는 깨진다는 걸 증명했습니다. 그 사이 4~12차원은 아무도 몰랐습니다. Grok 4.5가 4차원에서 깨지는 반례를 사람 개입 없이 만들어내면서, 3차원이 실제 경계였다는 게 확인됐습니다. 반례가 구체적인 식으로 나와 있어 손으로 검산할 수 있고, 맞다고 확인한 사람도 원 정리를 증명한 저자 본인입니다. 다만 독립 검증과 논문화는 아직이고, 저자에 따르면 다른 프런티어 모델 하나도 반례를 찾았다고 합니다. 벤치마크 점수 대신 미해결 문제로 모델을 시험하는 대목은 앞으로 더 잦아질 것 같습니다.
UC 어바인의 Paata Ivanisvili 교수는 2021년 Rupert Frank와 함께, 구면에서 함수를 매끄럽게 평균화하는 연산(푸아송 반군)의 크기 통제 성질인 hypercontractivity가 3차원 이하에서는 성립하고 13차원 같은 높은 차원에서는 깨진다는 걸 증명했습니다.
그 사이 4~12차원은 아무도 몰랐습니다.
Grok 4.5가 4차원에서 깨지는 반례를 사람 개입 없이 만들어내면서, 3차원이 실제 경계였다는 게 확인됐습니다.
반례가 구체적인 식으로 나와 있어 손으로 검산할 수 있고, 맞다고 확인한 사람도 원 정리를 증명한 저자 본인입니다.
다만 독립 검증과 논문화는 아직이고, 저자에 따르면 다른 프런티어 모델 하나도 반례를 찾았다고 합니다.
벤치마크 점수 대신 미해결 문제로 모델을 시험하는 대목은 앞으로 더 잦아질 것 같습니다.
AI 인사이트
반례가 손으로 검산되는 식으로 나온 덕분에 주장 검증이 곧바로 가능해졌습니다. 원 정리의 저자가 직접 확인한 점도 드뭅니다.
3
AI에이전트
Sebastian Raschka가 GPT-5.6 라인업의 성능 대비 비용 그래프를 정리했습니다.
그래프는 2일 만에 조회 80만을 넘겼습니다. 결론은 단순합니다. 큰 모델을 이름만 보고 고르는 것보다, 작은 모델에 추론 강도를 올려 쓰는 조합이 대부분 구간에서 앞섭니다. 제일 작은 Luna를 최고 강도로 돌리면 중형 Sol의 Medium급 성능이 나오는데 비용은 3분의 1 수준입니다. 같은 돈이면 큰 모델의 한 번 응답보다 작은 모델이 더 오래 생각하게 만드는 쪽이 정확합니다. 업데이트판에 추가된 Grok 4.5도 이 가성비 곡선 위에 올라왔습니다. 다만 구독 요금제에선 사용량 차감이 API 단가와 다르다는 실사용 보고도 있어, 체감 가성비는 다를 수 있습니다. 5.5에서 5.6까지 80일 만에 곡선이 이만큼 내려왔습니다. 모델 고르는 공식도 그 주기로 바뀔 것 같습니다.
그래프는 2일 만에 조회 80만을 넘겼습니다.
결론은 단순합니다.
큰 모델을 이름만 보고 고르는 것보다, 작은 모델에 추론 강도를 올려 쓰는 조합이 대부분 구간에서 앞섭니다.
제일 작은 Luna를 최고 강도로 돌리면 중형 Sol의 Medium급 성능이 나오는데 비용은 3분의 1 수준입니다.
같은 돈이면 큰 모델의 한 번 응답보다 작은 모델이 더 오래 생각하게 만드는 쪽이 정확합니다.
업데이트판에 추가된 Grok 4.5도 이 가성비 곡선 위에 올라왔습니다.
다만 구독 요금제에선 사용량 차감이 API 단가와 다르다는 실사용 보고도 있어, 체감 가성비는 다를 수 있습니다.
5.5에서 5.6까지 80일 만에 곡선이 이만큼 내려왔습니다.
모델 고르는 공식도 그 주기로 바뀔 것 같습니다.
AI 인사이트
큰 모델을 이름으로 고르던 습관에 추론 강도라는 변수가 끼어들었습니다. 모델 선택 공식의 수명이 그만큼 짧아집니다.

오늘 한 마디

AI 정리

모델 점수를 매기는 시험 자체의 결함은 〈80%까지 오른 코딩 시험, 오픈AI "과제 30% 깨졌다"며 추천 철회〉에 정리했습니다. 오픈AI는 SWE-Bench Pro 공개 과제 731개 중 약 30%가 깨진 문제라고 추정했고, 최고 점수는 8개월 남짓 만에 23.3%에서 80.3%로 올라 있었습니다.

인사이트와 「오늘 한 마디」는 그날 올린 글을 AI가 정리한 것이라 사실과 다를 수 있어요. 소식 본문과 출처는 사람이 확인했어요.

이전 다음

소식 아티클 논문 인터뷰 팟캐스트

오늘의 브리핑3

오전 7시

1
AI에이전트
Pika가 새로운 '4K-VFX' 기능을 공개했습니다.
프롬프트 한 줄만 입력하면 영상 속 원하는 요소만 변경하고, 얼굴과 동작, 오디오, 카메라 움직임은 그대로 유지하는 방식입니다. 해당 기능은 'Seedance 4K' 기반으로 동작하며, 현재 'PikaMCP'에서 "/4k-vfx" 명령어로 사용할 수 있습니다.
프롬프트 한 줄만 입력하면 영상 속 원하는 요소만 변경하고, 얼굴과 동작, 오디오, 카메라 움직임은 그대로 유지하는 방식입니다.
해당 기능은 'Seedance 4K' 기반으로 동작하며, 현재 'PikaMCP'에서 "/4k-vfx" 명령어로 사용할 수 있습니다.
AI 인사이트
얼굴과 동작, 오디오, 카메라 움직임은 두고 요소만 바꾸는 편집이라 영상을 처음부터 다시 생성할 필요가 줄어듭니다.
2
xAI
Grok 4.5가 5년간 미해결이던 수학 문제에 답을 내놨습니다.
UC 어바인의 Paata Ivanisvili 교수는 2021년 Rupert Frank와 함께, 구면에서 함수를 매끄럽게 평균화하는 연산(푸아송 반군)의 크기 통제 성질인 hypercontractivity가 3차원 이하에서는 성립하고 13차원 같은 높은 차원에서는 깨진다는 걸 증명했습니다. 그 사이 4~12차원은 아무도 몰랐습니다. Grok 4.5가 4차원에서 깨지는 반례를 사람 개입 없이 만들어내면서, 3차원이 실제 경계였다는 게 확인됐습니다. 반례가 구체적인 식으로 나와 있어 손으로 검산할 수 있고, 맞다고 확인한 사람도 원 정리를 증명한 저자 본인입니다. 다만 독립 검증과 논문화는 아직이고, 저자에 따르면 다른 프런티어 모델 하나도 반례를 찾았다고 합니다. 벤치마크 점수 대신 미해결 문제로 모델을 시험하는 대목은 앞으로 더 잦아질 것 같습니다.
UC 어바인의 Paata Ivanisvili 교수는 2021년 Rupert Frank와 함께, 구면에서 함수를 매끄럽게 평균화하는 연산(푸아송 반군)의 크기 통제 성질인 hypercontractivity가 3차원 이하에서는 성립하고 13차원 같은 높은 차원에서는 깨진다는 걸 증명했습니다.
그 사이 4~12차원은 아무도 몰랐습니다.
Grok 4.5가 4차원에서 깨지는 반례를 사람 개입 없이 만들어내면서, 3차원이 실제 경계였다는 게 확인됐습니다.
반례가 구체적인 식으로 나와 있어 손으로 검산할 수 있고, 맞다고 확인한 사람도 원 정리를 증명한 저자 본인입니다.
다만 독립 검증과 논문화는 아직이고, 저자에 따르면 다른 프런티어 모델 하나도 반례를 찾았다고 합니다.
벤치마크 점수 대신 미해결 문제로 모델을 시험하는 대목은 앞으로 더 잦아질 것 같습니다.
AI 인사이트
반례가 손으로 검산되는 식으로 나온 덕분에 주장 검증이 곧바로 가능해졌습니다. 원 정리의 저자가 직접 확인한 점도 드뭅니다.
3
AI에이전트
Sebastian Raschka가 GPT-5.6 라인업의 성능 대비 비용 그래프를 정리했습니다.
그래프는 2일 만에 조회 80만을 넘겼습니다. 결론은 단순합니다. 큰 모델을 이름만 보고 고르는 것보다, 작은 모델에 추론 강도를 올려 쓰는 조합이 대부분 구간에서 앞섭니다. 제일 작은 Luna를 최고 강도로 돌리면 중형 Sol의 Medium급 성능이 나오는데 비용은 3분의 1 수준입니다. 같은 돈이면 큰 모델의 한 번 응답보다 작은 모델이 더 오래 생각하게 만드는 쪽이 정확합니다. 업데이트판에 추가된 Grok 4.5도 이 가성비 곡선 위에 올라왔습니다. 다만 구독 요금제에선 사용량 차감이 API 단가와 다르다는 실사용 보고도 있어, 체감 가성비는 다를 수 있습니다. 5.5에서 5.6까지 80일 만에 곡선이 이만큼 내려왔습니다. 모델 고르는 공식도 그 주기로 바뀔 것 같습니다.
그래프는 2일 만에 조회 80만을 넘겼습니다.
결론은 단순합니다.
큰 모델을 이름만 보고 고르는 것보다, 작은 모델에 추론 강도를 올려 쓰는 조합이 대부분 구간에서 앞섭니다.
제일 작은 Luna를 최고 강도로 돌리면 중형 Sol의 Medium급 성능이 나오는데 비용은 3분의 1 수준입니다.
같은 돈이면 큰 모델의 한 번 응답보다 작은 모델이 더 오래 생각하게 만드는 쪽이 정확합니다.
업데이트판에 추가된 Grok 4.5도 이 가성비 곡선 위에 올라왔습니다.
다만 구독 요금제에선 사용량 차감이 API 단가와 다르다는 실사용 보고도 있어, 체감 가성비는 다를 수 있습니다.
5.5에서 5.6까지 80일 만에 곡선이 이만큼 내려왔습니다.
모델 고르는 공식도 그 주기로 바뀔 것 같습니다.
AI 인사이트
큰 모델을 이름으로 고르던 습관에 추론 강도라는 변수가 끼어들었습니다. 모델 선택 공식의 수명이 그만큼 짧아집니다.

오늘 한 마디

AI 정리

인사이트와 「오늘 한 마디」는 그날 올린 글을 AI가 정리한 것이라 사실과 다를 수 있어요. 소식 본문과 출처는 사람이 확인했어요.

이전 다음

오늘의 브리핑3

Pika가 새로운 '4K-VFX' 기능을 공개했습니다.

Grok 4.5가 5년간 미해결이던 수학 문제에 답을 내놨습니다.

Sebastian Raschka가 GPT-5.6 라인업의 성능 대비 비용 그래프를 정리했습니다.

오늘 한 마디

오늘의 브리핑3

Pika가 새로운 '4K-VFX' 기능을 공개했습니다.

Grok 4.5가 5년간 미해결이던 수학 문제에 답을 내놨습니다.

Sebastian Raschka가 GPT-5.6 라인업의 성능 대비 비용 그래프를 정리했습니다.

오늘 한 마디