AI가 수십 년 묵은 수학 난제 10개를 증명까지 붙여 풀었다

특정 폴더 접근을 허락하고 자연어로 지시하면 다운로드 정리, 영수증 이미지→엑셀 변환, 보고서 작성 같은 걸 알아서 해줍니다.

성능은 상위권인데 값은 백만 토큰당 입력 $0.14·출력 $0.27로 매우 저렴하고, 에이전트·코딩 능력이 크게 올랐어요.

버그 수정·새 기능·테스트를 서로 충돌 없이 병렬로 처리해 대기 시간을 줄여줘요.

규칙 파일(CLAUDE.md 등)은 빌드 명령·핵심 스타일 몇 개·구조 한 문단만 담아 300줄 안쪽으로 짧게, 대화가 길어지면 /compact로 요약해 토큰을 아끼세요.

폴더는 계층별이 아니라 기능별로 나누고, 파일명은 뜻이 통하게(uas.ts 대신 user-auth-service.ts) 짓고, 테스트는 소스 파일 바로 옆에 두세요.

결과마다 Lean4로 작성한 기계 검증 증명을 깃허브에 함께 올렸고, 든 계산 비용은 약 $2,000이었습니다.

전 세계 데이터센터의 AI 칩은 지금 약 2천만 개, 이 추세면 2028년 말 2억 개 규모에 이를 전망입니다.

다만 바뀐 코드가 과학적으로 옳은지까지 기계가 보장하진 못한다는 단서가 붙었어요.

여러 메신저와 연결해 웹 검색·코드 실행을 하고, 필요한 기능을 스스로 코드로 만들어 붙이는 점이 화제였어요.