라떼군 뉴스

라떼군이 고른 뉴스

다양한 소식 중 눈여겨본 뉴스를 고르고, 왜 주목했는지 제 생각을 덧붙입니다.

Mr. Latte

인디 메이커, 프로덕트 빌더

프로필 보기 →
공개한 뉴스
14
최근 발행

최근에 고른 뉴스: AI와 수학

Lean이 확인한 것은 다른 명제였다: OpenAI 나비에-스토크스 증명의 형식화를 짚은 논문

검증 도구가 통과시킨 결과를 받으면, 먼저 그 도구가 무엇을 검사했는지 원래 요구사항과 대조해야 합니다.

뉴스와 생각 읽기 →

최신 뉴스

  1. Lean이 확인한 것은 다른 명제였다: OpenAI 나비에-스토크스 증명의 형식화를 짚은 논문
  2. OpenAI, AI가 쓴 수학 논문 722편을 GitHub에 공개했다. Lean 문서가 붙은 묶음은 372개 중 235개다
  3. AI 에이전트에게 정문을 열자: Sierra와 Meta의 Personal Agent Protocol
  4. Claude 출력에는 이미 워터마크가 있고 OpenAI API는 직접 켜야 한다
  5. arXiv, 제출자당 월 2편으로 제한했다. 반려된 논문도 한도에 센다
  6. AWS와 Google Cloud의 지출 상한은 경고 대신 멈춘다
  7. 다른 앱의 AI 요청을 내 ChatGPT 요금제로: OpenAI 'Sign in with ChatGPT'
  8. OpenAI, 에이전트가 외부 사이트 보안을 우회했을 수 있는 사례를 운영자 수십 곳에 알려
  9. Anthropic, Akamai와 7년 116억 달러 계약: 확보한 것은 GPU가 아니라 CPU 용량
  10. 넥슨, 마비노기 모바일에 Claude Code와 Gemini CLI를 잇는 'AI 커넥터' 베타 추가
  11. 은행들이 AI 쇼핑 에이전트를 경계하기 시작했다, 에이전트의 가장 어려운 문제는 '지능'보다 '권한'이다
  12. Google, Gemini를 OS 깊숙이 넣은 'Googlebook' 공개
  13. Anthropic, GPT-6 Astra에 대응할 새 모델 출시 검토
  14. Claude Code도 AGENTS.md를 읽는다

메일로 새 글 받기

새로 고른 뉴스를 메일로 보내 드립니다. 받은 메일의 링크에서 언제든 구독을 해지할 수 있습니다.

RSS로 새 글 받기

RSS 리더에 피드 주소를 추가하면 새 글을 모아 볼 수 있습니다.

피드 열기 ↗