2026년 5월 24일 고른 기술 소식
OpenAI 모델, 이산수학 핵심 추측 반증 성공, AI가 새로운 수학적 사실을 발견하다
- OpenAI가 자사 모델이 이산수학의 미해결 추측을 깨는 반례를 찾아냈다고 발표했다.
- 계산을 빨리 하는 수준이 아니라 방대한 경우의 수 속에서 이론을 무너뜨리는 구조를 골라낸 작업이라 결이 다르다.
- 그래프 이론이나 조합론은 알고리즘 설계의 바탕이기도 하니, 연구 도구로서 AI를 어디까지 믿고 맡길지 다시 따져 보게 된다.
IBM Granite 4.1 오픈소스 공개: ModernBERT 기반 멀티링구얼 LLM
- IBM이 Granite 4.1 시리즈를 HuggingFace에 풀었다.
- 눈에 띄는 변화는 임베딩 모델 백본을 XLM-RoBERTa 계열에서 ModernBERT로 바꾼 점이고, 긴 컨텍스트에서도 인코딩 비용을 덜 들이는 구조다.
- 다국어 검색을 직접 굴리는 팀이라면 한 번 돌려 볼 만한 후보가 늘었다.
- 그렇지만 내려받을 수 있다고 운영비와 데이터 통제 문제가 저절로 풀리진 않는다.
AI 코딩 에이전트 2026 경쟁 구도: 자동완성에서 에이전틱 루프로
- AI 코딩 에이전트 판이 꽤 북적인다.
- Anthropic은 Code with Claude 행사에서 에이전틱 코딩 비전을 내놨고, OpenAI는 Gartner 엔터프라이즈 코딩 에이전트 부문 Leader로 꼽혔다.
- Copilot, Cursor, Windsurf, Devin, Amazon Q까지 모두 자동완성에서 스스로 도는 에이전트 루프로 축을 옮기는 중이다.
- 도구를 고르는 팀이라면 데모보다 멀티파일 수정이 우리 코드베이스에서 얼마나 버티는지부터 시험해 보자.
Waymo, 홍수 상황 무시하고 운행 계속해 4개 도시 서비스 일시 중단
- Waymo 차량이 폭우와 침수 도로에서도 운행을 멈추지 않아 4개 도시 서비스가 중단됐고, NHTSA의 재검토 압박도 커질 전망이다.
- 평소에 얼마나 잘 달리느냐보다 설계 범위를 벗어났을 때 스스로 멈추느냐가 신뢰를 가른다.
- 자율주행이든 현장 로봇이든 실물을 움직이는 서비스라면, 어떤 조건에서 운행을 멈출지 정하기 전에는 운영 범위를 넓히지 말자.
미국 정부, 양자컴퓨팅 스타트업 9개사에 $20억 직접 지분 투자
- 미국 정부가 양자컴퓨팅 스타트업 9개사에 20억 달러를 직접 지분 투자 형태로 넣는다.
- CHIPS Act의 보조금, 세액공제와 달리 정부가 주주가 되는 구조다.
- 돈은 단기 매출보다 민간 자본이 버티기 힘든 긴 연구개발 구간을 메우는 쪽으로 간다.
- 정부 지분을 받는 회사라면 자금 크기보다 국가가 주주로 들어올 때 생기는 선택권과 제약을 함께 따져야 한다.
SpaceX Starship V3 첫 발사: 부스터 소실에도 궤도 도달 성공
- Starship V3 첫 비행에서 상단부 Ship은 목표 궤도에 들어갔지만 Super Heavy 부스터는 재진입 중 통제를 잃고 바다에 떨어졌다.
- V2 때 메카질라가 부스터를 잡아냈던 장면을 떠올리면 아쉬운 결과다.
- SpaceX는 부분적 성공이라 부르며 다음 비행을 서두르겠다고 했다.
- 결국 승부는 부스터를 잃은 원인을 얼마나 빨리 고쳐 다시 띄우느냐에서 난다.
'Microsoft-Activision $2.5억 독점금지 합의: 게임 M&A 규제 선례 확립'
- Microsoft가 Activision Blizzard 인수를 둘러싼 독점금지 소송을 2억 5천만 달러에 합의로 끝냈다.
- 687억 달러짜리 거래였으니 금액은 크지 않지만, 쟁점은 Call of Duty를 PlayStation과 Switch에 계속 내겠다던 약속이었다.
- 승인 뒤에도 약속 이행을 두고 규제가 따라붙는다는 점은 확인됐다.
- 이 합의 하나로 게임 M&A 기준이 굳었다고 보기는 아직 이르다.