GPT-5.4 Pro가 하이퍼그래프 램지 이론 미해결 문제를 풀었다 - Epoch 확인
GPT-5.4 Pro가 FrontierMath의 하이퍼그래프 램지 이론 미해결 문제를 풀었고, 문제 출제자가 검증하여 논문 출판 예정. Opus 4.6, Gemini 3.1 Pro도 후속 테스트에서 성공함
- 1
GPT-5.4 Pro가 하이퍼그래프 램지 이론의 H(n) 하한 개선 미해결 문제를 풀음
- 2
문제 출제자 Will Brian이 직접 검증, 논문 출판 예정
- 3
기존 하한 구성의 비효율성을 제거해 상한과 하한이 정확히 일치
- 4
후속 테스트에서 Opus 4.6(max), Gemini 3.1 Pro, GPT-5.4(xhigh)도 성공
- 5
GPT-5.2(xhigh), Opus 4.5(max), Kimi K2.5 Thinking은 실패
AI가 단순히 기존 문제를 푸는 수준을 넘어 수학자가 검증한 새로운 증명을 생성해 출판 가능한 수학적 발견을 이룬 이정표적 사례
관련 기사
제미나이 도구 호출 능력을 2,600만 파라미터 모델로 증류한 니들 공개
Cactus Compute가 Gemini 3.1의 도구 호출 능력을 2,600만 파라미터짜리 초소형 모델 Needle로 증류해 공개했다. 맥이나 PC에서 로컬 파인튜닝까지 가능하고, 프로덕션 환경에서는 프리필 6,000 토큰/초, 디코드 1,200 토큰/초를 낸다고 주장한다. 개인용 AI 기기에서 함수 호출만 빠르게 처리하는 작은 모델 실험으로 보면 꽤 흥미로운 공개다.
딥시크 V4 인덱서, 6기가바이트 메모리로 백만 토큰까지 밀어붙인 논문
딥시크 V3.2와 V4의 압축 희소 어텐션에서 병목이 되는 인덱서 단계를 스트리밍 방식으로 바꿔, 기존 구현이 6만5536 토큰에서 메모리 부족으로 죽던 문제를 104만8576 토큰까지 확장했다. 핵심은 전체 점수 텐서를 만들지 않고 청크 단위로 top-k를 나눠 계산한 뒤 병합하는 방식이며, 단일 엔비디아 H200에서 피크 메모리 6.21기가바이트를 기록했다. 다만 논문은 인덱서 단계만 다루며, 실제 체크포인트 기반 종단간 성능이나 더 빠른 어텐션 커널을 주장하진 않는다.
챗지피티가 학습에 좋다던 유명 논문, 결국 철회됨
챗지피티가 학생 학습 성과에 큰 도움이 된다고 주장했던 논문이 출판 약 1년 만에 철회됐어. 스프링거 네이처는 분석의 불일치와 결론 신뢰 부족을 이유로 들었고, 문제의 논문은 이미 500회 넘게 인용된 뒤였어.
샘 올트먼, 법정에서 “머스크가 오픈AI 지배권을 자녀에게 넘기려 했다”고 증언
샘 올트먼이 캘리포니아 오클랜드 연방법원 배심원 앞에서 일론 머스크가 오픈AI의 장기 지배권을 원했고, 사망 후엔 자녀에게 넘기는 방안까지 언급했다고 증언했다. 머스크는 오픈AI가 비영리로 출발했는데도 영리화됐다고 소송을 제기했지만, 올트먼은 오히려 머스크가 영리 전환과 테슬라 편입을 밀었다는 취지로 반박했다.
혜전대, AI로 스마트팜 생산·가공·유통 교육 모델 만든다
혜전대가 2026년 교육부·한국연구재단의 AID 전환 중점 전문대학 지원사업에 충남 지역 연합형 사업단으로 선정됐다. 연암대와 역할을 나눠 스마트팜 생산부터 가공·유통까지 전주기를 디지털화하는 교육 모델을 만들겠다는 내용이다.
댓글
댓글
댓글을 불러오는 중...