테렌스 타오의 ‘수학 2.0’ — 증명 풍요의 시대에 수학이 나아갈 길
테렌스 타오는 AI가 수학 문제의 증명을 빠르게 내놓는 ‘증명 풍요’ 시대에 문제 풀이만을 연구 목표로 삼으면 수학의 장기적 발전을 해칠 수 있다고 주장합니다. AI를 증명 생성에만 쓰기보다 인간의 이해와 새로운 연구 영역을 넓히는 데 활용하고, 평가 기준과 연구 관행도 바꿔야 한다고 제안합니다.
AI · 최신기사
AI 모델과 서비스, 활용 도구와 이용 조건을 다룹니다.
Qwen-Image-2.1 비검열 양자화 모델
Qwen-Image-2.1을 GGUF, Safetensors, MLX 형식으로 양자화해 로컬 이미지 생성에 쓸 수 있도록 배포합니다. ComfyUI 설정과 권장 구성도 안내하며, 기본 안전 필터가 없어 입력 프롬프트에 따라 민감한 이미지도 생성합니다.
README Clew 2: AdaL로 만들고, Jev가 분류하고, 코드가 판정하고, Haiku가 설명합니다
README Clew 2는 공개 JavaScript·TypeScript 저장소의 README와 실제 코드를 대조합니다. Jev가 README 문장의 유형을 분류하고 다섯 가지 고정 검증기가 판정하며, Claude Haiku는 검사 결과만으로 요약합니다. 자체 저장소를 첫 실전 테스트에 썼다가 오탐을 발견한 뒤 수정한 과정도 공개합니다.
Fluence — 문서를 소리로 듣고, 파일은 휴대전화에만 보관하세요
Fluence는 PDF, EPUB, Word 등 문서를 31개 언어 음성으로 읽어주는 Android 앱입니다. 문서 질문에 답하는 언어 모델도 기기에서 실행하며, 계정이나 서버 없이 오프라인으로 사용할 수 있습니다.
‘AI’는 도구가 아닙니다
Rich Hickey는 도구를 사용자가 직접 다루며 기술과 감각 피드백을 쌓는 물건으로 정의하고, LLM은 요청을 받은 뒤 독립적으로 실행되는 자동화라고 주장합니다. LLM에 읽기와 코딩을 맡기면 작업뿐 아니라 그 과정에서 얻는 지식과 판단력도 놓친다고 설명합니다.
LLM 성능을 바라보는 사람들의 간극이 더 벌어지고 있습니다
Andrej Karpathy는 LLM을 거의 써보지 않은 대중부터 내부 최전선 모델을 쓰는 소수까지, 경험 수준이 급격히 갈린다고 설명합니다. 성능 차이는 사용 분야와 문제 규모, 모델 접근 권한에서 비롯되며, 빠른 출력 속도를 사람이 검증하는 속도가 따라가지 못할 수 있다는 우려도 제기합니다.
조지아어 벤치마크: OpenAI와 Anthropic 모델이 맞붙은 결과
저자는 직접 만든 조지아어 과제로 OpenAI와 Anthropic의 모델 8종을 비교합니다. GPT-6 Astra가 평균 0.90으로 가장 높았지만, 조지아어를 영어로 번역하는 능력과 조지아어 문장을 정확히 만들어내는 능력 사이에는 큰 차이가 나타났습니다.
일본, 사이버 보안 비상사태 선언…AI가 공격 문턱 낮췄다는 지적
일본에서 기업을 겨냥한 사이버 공격이 잇따르자 정부가 사이버 공간의 비상사태를 선언했습니다. 보안 전문가들은 AI가 정찰과 언어 장벽을 낮춰 공격 대상을 넓힐 수 있다고 지적하지만, 취약한 레거시 시스템과 보안 관리 문제도 함께 거론됩니다.
TrailSafe: 오픈소스 AI로 통신이 끊긴 등산객의 안전을 지키는 프로젝트
TrailSafe는 통신이 끊기는 산악 지역에서 혼자 걷는 사람의 체크인과 생체 신호를 감시하는 오프라인 우선 안전 도구입니다. TabPFN의 위험 예측과 Temporal의 지속성 있는 타이머를 결합해, 체크인과 유예 시간이 모두 끝나면 GPS·고도·수분 부족 진단을 담은 구조 알림을 보냅니다. 다만 40개 기록으로 얻은 벤치마크와 통신 두절 중 알림을 전달하는 방식은 한계와 질문으로 남습니다.
RTX 5090 가격이 5,000달러까지 오른 배경 — AI 업체들이 게이밍 GPU를 대량 구매합니다
GeForce RTX 5090이 AI 서버용으로 팔레트 단위 구매되면서 미국 최저가가 약 5,000달러, 유럽 가격은 5,200유로를 넘었다고 VideoCardz가 전합니다. 기사에 따르면 암호화폐 채굴 때와 마찬가지로 AI 연산 수요가 게이밍 카드 공급과 가격에도 영향을 주고 있습니다.
자신이 만든 코드를 스스로 승인하지 않는 코딩 시스템
Derivative는 자연어 요구사항을 실행 가능한 Python으로 바꾸지만, 생성기가 결과를 승인하지는 않습니다. 별도 검증 파이프라인이 격리 실행과 계약·적대적 검사를 거쳐 패키징을 결정하며, 블라인드 평가에서 검증 성공은 0/6이었지만 실패 판정과 불가능 판정은 각각 3/3을 맞혔습니다.
AI 역공학으로 GTA 5·모던 워페어 2·헤일로를 브라우저에서 실행한다는 주장
Destructoid는 AI 도구를 활용한 역공학으로 여러 상용 게임을 브라우저에서 실행하는 사례가 나왔다고 전합니다. 다만 Reddit 댓글에서는 GTA 5 사례가 역공학이 아니라 유출된 소스 코드를 WebAssembly로 포팅한 것이라는 반론이 나와, AI가 실제로 맡은 역할은 불분명합니다.
노트북을 덮고 식물을 살펴보라고 안내하는 AI 정원 앱을 만들었습니다
Garden Trials는 로컬 Gemma 모델로 식물 관찰 기록을 정리하고, 사용자가 직접 확인할 항목을 제안하는 앱입니다. 원인을 AI가 단정하지 못하게 막고 실험 절차와 증거 수준은 Python 코드로 관리합니다. 작성자는 실제 정원 기록에서 모델의 한계와 검증 장치를 함께 살펴봅니다.
GitGlow — 배포 전에 코드와 에이전트 변경 사항을 검토하세요
GitGlow는 스테이징, 커밋 기록, 충돌 해결, 터미널을 한곳에 모은 로컬 Git 작업 공간입니다. Pro에서는 파일 검토 표시와 검증 결과가 코드 수정 뒤 오래된 상태인지 확인하고, 에이전트 작업과 릴리스도 관리합니다.
하루 160장 웹캠 촬영을 거부한 원격 근무자, 회사에서 해고됐습니다
뉴저지 소송에 따르면 Sutherland Healthcare Solutions는 원격 근무자에게 Sentinel AI로 3분마다 웹캠 사진을 찍도록 요구했고, 촬영을 거부한 직원을 해고했습니다. 직원 감시에 AI를 활용하는 방식과 성과 측정, 사생활 보호를 둘러싼 논쟁을 보여주는 사례입니다.
밖으로 나가게 하는 AI 게임을 만들었습니다
Side Quest는 Google의 Gemma를 활용해 주변 환경에 맞는 야외 퀘스트를 만들고, 사진으로 완료 여부를 판정하는 오픈소스 게임입니다. 휴대폰에서 모델을 돌리는 대신 데스크톱 브라우저에서 로컬 추론을 실행하고, 휴대폰은 가벼운 인터페이스로 연결하는 구조를 소개합니다.
미안하지만, 여전히 생각해야 합니다
AI 에이전트가 Ruby on Rails 앱을 Rust와 Elixir로 다시 쓴 사례를 비교하며, 코드를 읽지 않고 신뢰성 있는 시스템을 만들기 어렵다고 주장합니다. 부하 테스트 결과는 처리량뿐 아니라 오류율, 이벤트 전달 지연, 메모리 사용량까지 함께 봐야 하며, 각 언어와 설계의 트레이드오프를 따져야 합니다.
Iris-3B — 픽셀 공간에서 이미지 생성과 비전 작업을 수행하는 30억 파라미터 모델
Iris-3B는 잠재 공간이나 VAE 디코더를 거치지 않고 픽셀을 직접 생성하는 30억 파라미터 모델입니다. 같은 모델을 별도 구조 변경 없이 미세 조정해 단안 깊이 추정과 이미지 복원·업스케일링에도 적용하며, 저장소에 가중치와 실행 스크립트를 공개했습니다.
고도에서 맞닥뜨린 존재론적 충격
Rocky Mountain Ruby의 여러 발표는 AI 시대에도 개발자의 역할과 판단이 중요하다는 질문을 던집니다. Rails와 Ruby로 에이전트·RAG를 구현하는 실무부터 테스트, 온보딩, 장애 대응까지 다루며, 코드 생성보다 사람의 경험과 야망을 강조합니다.
Buda의 API Claws — API 하나로 에이전트 인프라 구축하기
API Claws는 메모리, 모델 라우팅, 실행 환경, 세션 관리 기능을 제공하는 Buda의 호스팅 AI 에이전트 API입니다. 개발팀은 에이전트 인프라를 직접 운영하지 않고도 앱이나 스마트 하드웨어에 클라우드 에이전트를 연결할 수 있습니다.