2024년 맨체스터 대학교에서 개최된 워크숍은 자율 검사 로봇(AIR)의 안전성 확보를 위한 규제 및 보증 기관 간의 협력을 강조하며, '설계-보증 프로세스'의 중요성을 부각했습니다. 다양한 분야의 사례 연구를 통해 안전성 확보의 어려움을 논의하고 해결 방안을 모색하는 계기가 되었습니다.

스페인 연구진이 DeepSeek-R1과 o3-mini의 안전성을 비교 분석한 결과, DeepSeek-R1의 안전성이 o3-mini에 비해 현저히 낮다는 사실이 밝혀졌습니다. ASTRAL이라는 자동화된 안전성 테스트 도구를 사용하여 1260개의 테스트를 진행한 결과, DeepSeek-R1은 11.98%, o3-mini는 1.19%의 안전하지 않은 응답을 생성했습니다. 이 연구는 AI 모델의 안전성 확보의 중요성을 강조합니다.

양자 컴퓨팅 기반의 드론 경로 최적화 알고리즘 Q4DR이 개발되어 실제 문제에 적용된 사례를 소개하는 기사입니다. 양자 게이트 기반 컴퓨팅과 양자 어닐링을 결합한 하이브리드 접근 방식을 사용하여 복잡한 제약 조건을 고려한 실제적인 문제 해결에 성공했습니다. 이는 양자 컴퓨팅의 실용적인 응용 가능성을 보여주는 중요한 사례입니다.

Ander Gray 등의 연구진이 PDE 서로게이트 모델의 신뢰 구간을 보장하는 새로운 방법을 제시했습니다. SVD와 집합 전파 기법을 활용하여 모델에 구애받지 않고 신뢰할 수 있는 예측을 제공하며, Sci-ML 모델의 발전에 크게 기여할 것으로 예상됩니다.

Xia 등 연구진이 제안한 GBFRS 모델은 그래뉼라 볼 컴퓨팅을 활용하여 퍼지 조잡 집합 이론의 효율성과 강건성을 크게 향상시켰습니다. 고차원 데이터 분석의 새로운 패러다임을 제시하는 이 연구는 앞으로 다양한 분야에 널리 활용될 것으로 기대됩니다.