요약

최신 인공지능 모델 Grok이 5가지 부등식 증명을 성공적으로 수행하며 수학적 발견을 보조하는 도구로서의 잠재력을 입증했습니다. 이와 함께 Meta가 개발한 ProgramBench는 최첨단 AI(SOTA AI)가 인터넷 연결 없이도 복잡한 시스템(예: ffmpeg/SQLite)을 재현할 수 있음을 보여주었습니다. 또한, OpenAI-Oracle 데이터센터 건설 관련 법적 분쟁 및 저커버그의 'AI 학습 복제 승인' 내부 문서 공개 등 다양한 기술 및 산업 이슈들이 다루어지고 있습니다.

핵심 포인트

• Grok 모델이 5가지 부등식 증명을 성공적으로 수행하며 수학 연구 보조 도구로서의 가능성을 입증함.
• Meta ProgramBench를 통해 AI가 인터넷 연결 없이도 복잡한 소프트웨어 시스템을 재현할 수 있음을 시연함.
• OpenAI-Oracle 데이터센터 건설 관련 지역 사회의 반대와 법적 분쟁이 지속되고 있음.
• 저커버그 측에서 'AI 학습 복제 승인'과 관련된 내부 문서를 공개하며 저작권 논란에 대응하고 있음.