AI 'Astra', 십수 년 미해결 수학 난제 10개를 검증 가능한 증명으로 풀다
AI가 오래 묵은 수학 난제를 기계로 검산되는 증명과 함께 풀어냈고, 클라우드플레어는 에이전트 전용 브라우저를 내놨습니다. 오늘은 코딩 모델·툴 소식에 컨텍스트를 다루는 실전 팁을 곁들였어요.
주목할 AI 툴/제품
- 클라우드플레어가 사람이 아니라 AI 에이전트가 직접 조작하도록 설계한 브라우저 'Kitesurf'를 공개했다.
탭·테마 같은 화면 요소를 걷어내 스크린샷·HTML 추출 작업에서 크로미움보다 CPU·메모리를 3~7배 덜 쓰며, 베타 기간엔 무료로 쓸 수 있다.
· Cloudflare - xAI의 최신 모델 Grok 4.6이 코드 에디터 커서(Cursor)와 Grok Build에 바로 탑재됐다.
긴 작업을 이어가는 에이전트와 코딩에 초점을 맞췄고 스스로 결과를 점검하는 자기검증이 강화됐으며, 가격은 100만 토큰당 입력 2달러·출력 6달러다.
· Cursor - 앤스로픽이 클로드 코드(Claude Code)에 '/design' 연구용 프리뷰를 넣었다.
터미널·데스크톱 안에서 UI 초안을 편집 가능한 아트보드로 그려주고, 그중 하나를 고르면 그대로 코드로 구현해준다.
· Anthropic
개발자 실무 팁
- AI 코딩 세션이 길어지면 지난 대화가 쌓여 엉뚱한 답을 내놓기 쉽다.
메시지가 20~30개쯤 쌓이면 '/compact'로 대화를 요약해 컨텍스트 창을 되찾고, 같은 문제로 두 번 실패하면 아예 '/clear'로 새로 시작하는 편이 오히려 빠르다.
· DEV Community - 더 많은 정보를 욱여넣는다고 AI가 더 잘하지는 않는다.
지금 작업에 필요한 파일과 규칙만 골라 넣는 '맥락 설계'가 성능을 좌우하며, 프롬프트 문구를 다듬기보다 무엇을 보여줄지 고르는 게 핵심이다.
· DEV Community
AI 업계 뉴스
- 오픈AI가 차세대 모델 'Astra'를 공개하며, 십수 년간 풀리지 않던 수학·이론전산학 난제 10개의 해법을 기계가 검산 가능한 Lean 증명과 함께 내놨다.
전부 찾는 데 든 계산 비용은 약 2천 달러로 추산됐다.
· The Decoder - 구글이 주력 경량 모델 '제미나이 3.7 플래시'를 공개했다.
직전 업데이트 3주 만의 갱신으로 코딩과 지식 작업 성능·응답성을 끌어올렸고, 함께 제미나이 3.5 플래시 정식 버전(GA)도 내놨다.
· Axios
개발자 업계 뉴스
- 자바스크립트 런타임 Node.js 26이 정식 출시됐다.
표준 날짜·시간 API인 Temporal이 기본 활성화되고 V8 엔진이 14.6으로 올라갔으며, 오래 유지되던 일부 레거시 API가 제거됐다. 10월에는 LTS(장기 지원)로 전환된다.
· Node.js - 깃허브 코파일럿의 JetBrains(인텔리제이 등) 플러그인에 '메모리'와 Ollama 지원이 추가됐다.
채팅 세션이 바뀌어도 프로젝트 설정·선호를 기억하고, 로컬에서 돌리는 Ollama 모델을 직접 연결해(BYOK) 쓸 수 있다.
· GitHub
오늘의 한 줄 추천
긴 AI 코딩 세션에서 답이 자꾸 엇나간다면, 프롬프트를 더 쓰기 전에 '/compact'로 대화부터 정리해 보세요. 오늘 바로 체감되는 팁입니다.