일간 뉴스: 2026년 5월 18일

본 기사는 ThinkPad가 1992년 IBM 700C 출시 이후 Lenovo 인수기를 거쳐 2026년 P14s Gen 6에 이르기까지 유지해 온 디자인·제품 철학을 정리합니다. 2005년 IBM에서 Lenovo로의 이관은 우려와 달리 엔지니어링 연속성을 크게 훼손하지 않았고, Lenovo는 2010년 ThinkPad 누적 6,000만 대 판매를 달성했습니다. 최신 ThinkPad는 96GB DDR5 SODIMM, Copilot+ NPU, 로컬 70B LLM 구동 같은 AI 워크스테이션 역량을 비즈니스 섀시에 결합합니다.

MIT 연구진은 이미지 조건 기반 CAD 생성 모델 GenCAD를 공개했습니다. GenCAD는 mesh, voxel, point cloud 대신 파라메트릭 CAD command sequence를 생성해 geometry kernel로 3D solid model을 구성하며, 최종 형상뿐 아니라 전체 CAD program과 명령 이력까지 출력합니다.

본 기사는 Prolog 코드에서 종료성과 효율성이 확보되더라도 잘못된 답을 내거나 의도한 해답을 누락하는 결함이 발생할 수 있다고 지적합니다. 특히 비순수·비단조 구문인 !/0, (->)/2, var/1과 assertz/1, retract/1 기반 전역 상태 사용을 주요 위험 요인으로 꼽고, dif/2, if_/3, 명시적 인자 전달 같은 선언적 대안을 제시합니다.