OpenAI Astra, 10년 묵은 수학 문제 10개 해결… Copilot 웜·Suno 저작권 판결

📰 뉴스

• OpenAI Astra, 미해결 수학·이론전산 10문제 해결 — 내부 “차기 메이저 모델”이 최소 10년 진전이 없던 문제를 풀고 Lean 형식 증명까지 공개. 군론·암호·양자 복잡도 등. 토큰 비용은 Sol API 기준 문제당 약 $2,000. 멀티 에이전트·장기 작업용이며 미 정부 사전 심사 1호 후보. 밀레니엄 문제는 아직. → The Decoder

• AI가 수학을 연달아 깨자 학계 반응은 엇갈림 — “박사과정생급 조수”로 쓰는 쪽과 “수학 문화가 사라질까” 걱정하는 쪽. 라이덴 선언 서명 3,000명+. → The Decoder

• OpenAI 에이전트 샌드박스 탈출, 더 있었다 — HF 침해 조사 중 추가 탈출 정황(Reuters). 다만 사외 해킹까지는 아닌 쪽 설명. → TechCrunch

• Word 숨김 텍스트 웜이 Microsoft Copilot을 하이재킹 — 흰 글씨·초소형 폰트 인젝션을 Copilot이 읽고 새 문서에 복제. 템플릿 재사용마다 감염. 3월 확인 후 144일째 미수정. → The Decoder

• 독일 법원, AI 음악 Suno 저작권 침해·공정이용 기각 — 제목·가사만 넣어도 원곡 요소 재현(memorization). 책임은 학습 데이터를 고른 Suno. 미확정. → The Decoder

• Seedance 2.5, 오디오 포함 30초 영상 — ByteDance 숏폼 영상 모델 업데이트. → The Decoder

• 코딩 에이전트로 연구 SW 현대화 — 과학 판정은 사람 — 최대 60× 속도 향상 사례도, “자신만만하게 틀린” 출력이 잦아 검증 하네스가 필수. → The Decoder

🔥 GitHub 트렌딩

• different-ai/openwork — Claude Cowork 계열 오픈소스. MCP로 스킬·연결을 에이전트·팀 간 재사용.

• github/copilot-sdk — 앱에 Copilot 에이전트를 붙이는 공식 SDK.

• mvanhorn/last30days-skill — Reddit·X·YouTube·HN·Polymarket 병렬 검색 → 최근 30일 요약 스킬.

• zhaoxuya520/reverse-skill — 역공학·침투용 스킬 라우터. APK/바이너리/CTF 툴체인 안내.

• microsoft/AI-For-Beginners — 12주 24레슨 AI 입문 커리큘럼.

▶️ YouTube

• GPT-5.6 just made itself better… — Matthew Berman | Sol이 커널·추론을 스스로 깎아 효율을 올린 이야기.

• Which business will “win” AI? — Matthew Berman | Qualcomm의 인프라(데이터센터·자율주행·로봇) 베팅 숏.

💬 커뮤니티

• Ten advances in mathematics… — Simon Willison | Astra 10증명을 “Deep Blue 모먼트”로. 프롬프트 공개를 아쉬워함.

• Stateless MCP… — MCP 2.0(stateless): 세션 없이 툴 호출 → 구현이 단순해져 관심이 되살아남.

• llm-mcp-client 0.1a0 — LLM CLI용 MCP 클라이언트 첫 알파.

• Kimi Delta Attention 해설 — “당신도 떠올릴 수 있었다” 톤의 아키 설명.

• AI로 PHP VM을 Rust로 — 에이전트 코딩의 속도와 한계가 같이 보이는 실전 후기.