40회 국제 논리 프로그래밍 학회(ICLP)에서는 논리 프로그래밍과 AI의 융합, 특히 LLM과의 통합에 대한 연구가 활발히 진행되었으며, 이는 논리 프로그래밍의 발전이 AI 분야에 크게 기여할 가능성을 보여줍니다. 하지만 기술 발전과 함께 윤리적, 사회적 함의에 대한 고려 또한 중요합니다.

케빈 버자드의 논문 "Mathematical reasoning and the computer"를 바탕으로, 컴퓨터가 수학적 추론에 기여하는 방식의 변화와 신경망, 컴퓨터 정리 증명기, 대규모 언어 모델의 발전, 그리고 미래 전망에 대해 논의합니다. 인간과 컴퓨터의 협력적 연구 및 컴퓨터의 자율 추론 가능성까지 제시하며, 수학 연구의 패러다임 변화를 예측합니다.

본 기사는 고차원 공간에서의 분류기 없는 안내(CFG)의 효과를 밝히고, 비선형 CFG를 제시한 최근 연구를 소개합니다. 저차원 공간에서의 CFG 한계를 극복하고 고차원 공간에서의 차원의 축복 효과를 통해 향상된 성능과 유연성을 제공하는 비선형 CFG의 가능성을 제시합니다.

러시아 연구진이 AI 생성 이미지의 저작권 보호를 위해 모델 재훈련 없이 추론 단계에서 워터마킹을 삽입하는 기술을 개발했습니다. 이 기술은 다양한 공격에도 강력한 저항성을 보이며, 생성 AI 기술의 윤리적 사용에 중요한 기여를 할 것으로 기대됩니다.

김지윤, 전강은, 김율화, 고종환 연구팀의 열 단위 양자화 기법은 CIM 기반 DNN 구현에서 정확도와 강건성을 향상시키는 혁신적인 기술입니다. ResNet 모델 실험을 통해 정확도 향상과 메모리 셀 변화에 대한 강건성을 검증하였으며, 오픈소스 공개를 통해 기술 확산에 기여하고 있습니다.