무엇을 찾으세요?

AI · 머신러닝 · OpenAI’s Navier-Stokes release included a Lean 4 formal proof

OpenAI, Navier-Stokes 증명을 Lean 4 형식 증명으로 공개

핵심 요약

• OpenAI가 유체역학의 오랜 난제인 Navier-Stokes 방정식을 증명하면서 동시에 Lean 4 형식 증명을 공개했다.
• 종전에는 수학 논문 한 페이지를 형식화하는 데 약 40시간이 소요되었으나, 이번 증명은 17시간 만에 Lean 형식으로 검증되었다.
• 166쪽 규모의 OpenAI 논문을 전통적 방식으로 형식화했다면 13만 2800인시가 필요했을 것으로 추정되어, 약 만 배의 비용 감소를 의미한다.
• 형식 증명의 비용이 급격히 낮아지면서 수학 연구뿐 아니라 보안 정책 검증, 스마트 계약 검증, 미션 크리티컬 알고리즘 검증 등이 현실화될 수 있다.

AI · 머신러닝 · diegosouzapw/OmniRoute · TypeScript

352개 AI 제공사를 하나의 API로, OmniRoute 게이트웨이

핵심 요약

• OpenAI, Claude, Gemini, DeepSeek 등 352개 AI 제공자 전용 엔드포인트를 통합한 오픈소스 게이트웨이 OmniRoute를 공개했다.
• 월 약 14.7억 토큰의 무료 한도를 자동으로 계산해 제공하며, 2주마다 각 제공자의 무료 정책을 재검증해 대시보드에 표시한다.
• 할당량 부족 시 자동으로 다른 제공자로 전환하고, RTK+Caveman 압축 기술로 토큰 사용을 15~95% 줄인다.
• Claude Code, Cursor, Copilot 등 주요 AI 코딩 도구와 호환되며, CLI·MCP·데스크톱·PWA 형태로 설치할 수 있다.
• v3.8.50 버전에서 1,312개 모델 ID, 비전·오디오·비디오 멀티모달 지원, 실시간 할당량 감시 기능을 추가했다.

하드웨어 · 시스템 · Growing proof that autonomous cars save lives

자율주행차, 사람보다 훨씬 적게 사고 낸다

핵심 요약

• 미국 보험업체들의 연구로 자동 긴급제동 시스템(AEB)이 보행자 사고를 27%, 후진 충돌을 50% 줄이는 것으로 확인됐다.
• 웨이모의 로봇택시는 220억 마일 운행 중 사람 운전자 대비 심각한 사고가 92% 적고, 교차로 부상 사고는 96% 감소했다.
• IIHS의 독립 연구도 같은 결론을 내렸으며, 웨이모 택시의 충돌 사고율이 샌프란시스코 35%, 피닉스 76%, LA 71% 낮았다.
• 현재 자율주행차는 주·지역별로 규제가 제각각이고 연방 차원의 성능·안전 기준이 없어 비교 평가가 어렵다.
• 아마존 자회사 주옥스가 NHTSA로부터 첫 안전 기준 면제를 받아 핸들과 페달이 없는 로봇택시 상용화를 추진한다.

기타 · South Park creators rename show 'South America'

사우스 파크, 신시즌 이름 '남미'로 변경

핵심 요약

• 애니메이션 시리즈 사우스 파크의 제작진 매트 스톤과 트레이 파커가 신시즌 이름을 '사우스 아메리카'로 변경한다고 발표했다.
• 트럼프 대통령의 오대호 온타리오호를 '아메리카 호'로, 멕시코만을 '아메리카 만'으로 개명하려는 시도를 풍자하는 의도로 보인다.
• 에플과 구글이 자신의 지도 앱에서 이를 따르는 '용감함과 애국심'에 영감을 받았다고 제작진이 밝혔다.
• 현재 29시즌 중인 사우스 파크는 최근 에미상 애니메이션 프로그램 부문 상을 수상했다.
• 새 이름이 영구적으로 유지될지 아니면 나중에 원래 이름으로 돌아갈지는 아직 미정이며, 신시즌은 9월 16일 방송 예정이다.

AI · 머신러닝 · What will our economic future look like?

AI가 경제를 어떻게 바꿀까, 미래 시나리오를 직접 만들어보세요

핵심 요약

• Anthropic 경제팀이 AI가 미국의 일자리, 성장, 실업에 미칠 영향을 모델링했다.
• 경제를 업무 단위로 분해해 AI가 각 업무를 보강·자동화·신규 창출하는 방식을 분석했다.
• 완만한 시나리오에선 인터넷 수준의 영향, 상당한 시나리오에선 경제가 2배 성장해 지식근로자 임금은 정체, 극단적 시나리오에선 대부분 자동화되어 광범위한 부의 불균형이 생긴다.
• 사용자가 AI 능력 예측치를 입력하면 2030년 경제 모습을 시뮬레이션할 수 있는 상호작용형 도구를 공개했다.

인프라 · 데브옵스 · The NX bit is not just about security

ARM 하이퍼바이저 디버깅기: NX 비트의 숨은 역할

핵심 요약

• ARM64 베어메탈 하이퍼바이저 개발 중 CTR_EL0 인터셉트를 활성화하면 시스템이 무작위로 잠기는 버그가 발생했습니다.
• 초기 의심 대상들을 하나씩 검증했으나 예외 핸들러는 정상 작동했고, 실제 하드웨어에서만 레지스터가 수정되지 않았습니다.
• 원인은 실행 가능한 머신 명령어가 담긴 버퍼를 정렬할 때 ARM의 I캐시/D캐시 비일관성(cache incoherency) 문제로, 캐시된 명령어가 메모리의 새로운 데이터와 불일치했습니다.
• 이후에도 시스템이 부팅하지 않았으므로, MRS 명령어를 처리하는 C 핸들러 함수를 어셈블리로 재작성했을 때 문제가 해결되었습니다.
• 최종적으로 이진 bisecting을 통해 논리적으로 동등한 두 코드 버전 중 하나만 작동하는 현상을 추적했고, NX 비트(실행 방지 비트) 설정이 데이터 섹션의 코드 실행을 막으면서 예상치 못한 동작을 유발했음을 암시합니다.

스타트업 · 비즈니스 · We Must Return to the Office to Use AI in Person

AI 시대 사무실 복귀는 필수일까

핵심 요약

• 미래 기업 Mondo Mayo에서 일하는 직원이 주 6일, 하루 14시간 사무실 출근 정책의 정당성을 주장하는 풍자 에세이다.
• 회사는 '좋은 것이 나쁜 것보다 낫다'는 핵심 원칙 아래 AI 기반 업무 시스템 SlurryHose를 운영하며, 직원은 승인 버튼만 반복적으로 클릭한다.
• 사무실 출근으로 동료와 연인 관계가 생겼지만, 부적절한 발언으로 인사팀에 적발되어 성과 개선 계획 대상이 된다.
• 회사는 비-경쟁 계약으로 직원의 퇴사 후 다른 곳에서 일하는 것을 금지하며, 건강보험 박탈을 무기로 복종을 강요한다.
• 이 글은 RTO(복귀 출근) 정책과 기업 통제, 그리고 AI 시대 직원의 자율성 상실을 비판하는 검은 유머다.

웹 · 프론트엔드 · There's a new "Google Jail" for independent wikis

독립 위키가 구글 검색에서 신규 도메인 페널티에 갇혔다

핵심 요약

• 2024년 3월 구글 변화로 인해 새로운 도메인의 위키는 메인페이지를 제외한 다른 페이지가 검색 결과에 거의 노출되지 않는 현상이 발생했다.
• 비디오 게임 위키 트래픽의 약 85%가 구글에서 오기 때문에 이는 신규 위키 런칭에 심각한 장애물이 되고 있다.
• 구글이 SEO 스팸을 걸러내기 위해 신규 도메인을 대대적으로 억제하는 정책을 펼친 것으로 추정된다.
• 위상이 높은 기존 도메인의 서브도메인(예: overwatch.weirdgloop.org)에서는 신규 도메인 문제가 발생하지 않으며, 불과 7일 만에 구글 인덱싱에 성공했다.
• 위키 호스팅 업체들은 이제 신규 커뮤니티를 받을 때 기존 도메인의 서브도메인에 먼저 위키를 만든 후 안정화되면 독립 도메인으로 옮기는 방식을 고려하고 있다.

웹 · 프론트엔드 · My Feed, My Way

호주, 소셜미디어 알고리즘 선택권 '내 피드, 내 방식' 도입

핵심 요약

• 호주 정부가 '디지털 책임 의무' 법안을 발표했으며, 소셜미디어 플랫폼이 사용자에게 알고리즘 추천 콘텐츠 거부 선택권을 제공하도록 의무화한다.
• 사용자는 개인화된 알고리즘 피드를 선택하거나, 팔로우한 친구·크리에이터 콘텐츠만 보도록 거절할 수 있다.
• 온라인 게임, 앱, AI 챗봇 등 디지털 서비스는 18세 미만을 중독성 기능이나 자존감 훼손 설계, 섭식장애 조장 콘텐츠 등으로부터 보호해야 한다.
• 누드 이미지 생성 앱 삭제, 사이버 괴롭힘 신고 처리 가속화, 플랫폼의 위험 조치 기록 의무화가 포함된다.
• 법안 미준수 시 최대 1억 920만 달러 벌금이 부과되며, 독립 전자안전국장이 집행한다.
• 호주 정부는 올해 의회에 법안을 제출할 계획이며, 플랫폼과 업계, 시민단체 의견을 수렴 중이다.

인프라 · 데브옵스 · In Australia, a Home Battery Boom Has Helped Cut Wholesale Power Prices in Half

호주 가정용 배터리 붐, 도매 전력 가격 반으로 낮춰

핵심 요약

• 호주는 지난해 7월 가정용 배터리에 30% 할인 지원 정책을 시행한 이후 1년간 50만 개 이상의 배터리를 설치했다.
• 배터리 보급으로 저녁 수요 피크 시간에 그리드에서 추가 발전소를 가동할 필요가 줄어들어 전체 요금 인하에 기여했다.
• 에너지 장관은 호주의 도매 전력 가격이 지난 12개월간 47% 하락했으며 이는 배터리 지원 정책이 주요 요인이라고 밝혔다.

웹 · 프론트엔드 · cathrynlavery/diagram-design · HTML

Claude Code를 위한 27가지 에디토리얼 다이어그램 디자인

핵심 요약

• Claude Code·Codex·Pi용 다이어그램 에이전트 스킬로 아키텍처, 플로우차트, 시퀀스 등 27가지 시각 타입을 제공한다.
• HTML과 SVG만으로 만든 정적 콘텐츠이며 빌드 단계, 자바스크립트, 외부 이미지 의존성이 없다.
• 시맨틱 패턴으로 동작을 레이아웃과 분리하므로 큐, 정책 추적, 신뢰 경계 등을 기존 타입으로 표현할 수 있다.

기타 · U of Michigan drops first-semester grades to ‘curb mental health crisis’

미시건 대학, 1학년 첫 학기 성적 미반영 시행

핵심 요약

• 미시건 대학이 첫 학기 성적을 학생 기록에 반영하지 않기로 결정했다.
• 이 정책은 학생들의 정신건강 위기를 완화하기 위한 조치다.
• 구체적인 시행 범위와 기준은 보도 제목에서 확인할 수 없다.

본문을 가져오지 못해 제목과 인기 지표로 요약했습니다. 실제 내용과 다를 수 있으니 원문을 확인해 주세요.