OpenAI's next major model Astra claims breakthroughs on 10 long-standing math problems

OpenAI가 차세대 모델 Astra의 내부 버전을 공개하며, 수학 및 이론 컴퓨터 과학 분야의 10개 장기 미해결 문제에서 돌파구를 마련했다고 밝혔다. 10개 해법을 모두 찾는 데 사용된 총 토큰 비용은 GPT-5.6 Sol API 요금 기준 약 2,000달러 수준으로 추산된다. 각 해법은 정리 증명 언어 Lean으로 형식화되어 검증이 가능하다.

His Wedding Guests Were Arriving—Just as His $45 Billion Fund Was Falling Apart

AI 연구자 출신 투자자 레오폴드 아셴브레너가 결혼식 하객들이 도착하던 시점에 자신이 운용하던 450억 달러 규모 펀드가 붕괴 위기를 맞았다. 24세인 그는 AI 관련 주식에 집중 투자하는 대형 펀드를 키워왔으나, 이 베팅을 위해 과도한 차입을 일으킨 것이 화근이 되었다. 결국 시타델(Citadel)이 해당 자산 대부분을 인수한 것으로 전해졌다.

Larry Ellison Bet It All on the AI Boom. Will He Be the Face of the AI Bubble?

래리 엘리슨이 트럼프 행정부 출범 이후 AI 개발을 저해하던 규제 장벽이 완화되자 대형 인프라 계약들을 잇달아 체결하며 AI 붐에 크게 베팅한 것으로 나타났다. 이 베팅은 다양한 형태의 막대한 부채를 기반으로 구축되었으며, 가장 많은 컴퓨팅 파워를 확보한 쪽이 AI 경제를 지배할 것이라는 가설에 기반한 것이다. 투자자들 사이에서는 이 같은 레버리지 전략의 지속 가능성에 의문이 제기되고 있는 것으로 전해졌다.

Apple Is Reinventing Itself as the World's Biggest Subscription Provider

애플이 새로운 기기 할부·구독 프로그램 'Apple Upgrade'를 통해 다음 성장 전략을 예고하고 있다. 메모리 공급 부족으로 하드웨어 가격이 오르는 가운데, 애플은 소비자에게 1,000달러 넘는 목돈 지출을 정당화하라고 요구하는 대신 하루 약 1달러 수준의 부담으로 프레이밍을 바꾸며 구매 심리를 전환하려 하고 있다.

A Tech Founder Wanted to Start a New Country. An Actual Country Got in the Way

테크 창업가 Balaji Srinivasan는 미국이 무정부 상태로 향하고 있다고 판단하고 처음부터 새로운 도시를 짓기로 했다. 그는 말레이시아에 테크 커뮤니티를 조성하고 코워킹 스페이스, 고급 헬스장, 장수 전문가 Bryan Johnson이 설계한 식단을 갖춘 캠퍼스를 만들었다. 2년이 지난 지금, 그의 구상은 현실과 충돌하고 있으며 프로젝트는 결국 문을 닫은 것으로 전해진다.

TLDR is hiring a curator for TLDR AI! (TLDR Curator, ~5 hrs/week)

AI 뉴스레터 TLDR AI가 콘텐츠 큐레이터를 모집한다고 밝혔다. TLDR AI는 구독자 100만 명 이상이 AI 모델·연구·엔지니어링 소식을 받아보는 뉴스레터로, 주당 약 5시간 근무 형태의 파트타임 포지션이다. AI 업계 종사자를 대상으로 이력서나 링크드인 프로필을 이메일로 제출받는 방식으로 지원을 받는다.

Montana's plan to become an experimental medical hub just pushed forward

미국 몬태나주가 FDA 승인 없이도 임상 초기 단계 신약을 판매할 수 있는 규정을 발효시켰다. 기업이 12,500달러를 내고 심사위원회 승인을 받으면 실험 치료 클리닉을 통해 약을 판매할 수 있으며, 말기 질환자로 대상을 제한하는 다른 주와 달리 informed consent만 있으면 누구나 대상이 된다. 장수(longevity) 애호가들이 주도해 만든 법으로 연내 첫 클리닉 개장이 예상되지만, 전문가들은 FDA 감독 없는 판매의 위험성을 우려한다.

gh stack

GitHub이 큰 변경사항을 서로 연결된 작은 PR들의 체인으로 나누는 'Stacked PR' 방식을 지원하는 CLI 확장 gh stack을 공개했다. 브랜치 생성, 리베이스 유지, PR 베이스 브랜치 설정, 레이어 간 이동 등 번거로운 작업을 자동화한다. GitHub CLI v2.0 이상이 필요하며 AI 코딩 에이전트와의 연동도 지원한다.

Devtools must be open source

과거엔 개발 비용 때문에 복잡한 소프트웨어에 방대한 설정 파일과 플러그인 시스템이 필요했지만, AI 에이전트 등장으로 소프트웨어를 만들고 수정하는 비용이 크게 낮아졌다. 개인화가 가능한 소프트웨어는 더 이상 플러그인 시스템이나 설정 파일이 필요 없으며, 사용자가 에이전트의 도움을 받아 직접 원하는 부분을 고칠 수 있다는 주장이다. 필자는 자신의 에이전트 도구 Shelley에 개인 프로젝트 meat.dev를 프롬프트 한 번으로 통합한 사례를 예로 든다.