연구자가 최적 곱셈 가중치 업데이트(OMWU) 알고리즘의 마지막 반복이 특정 조건 하에 수렴한다는 사실을 증명했어요. OMWU는 OGDA의 비유클리드 버전으로, saddle-point 문제를 해결하는 데 사용돼요. 이 결과는 엄격한 보완성 조건이나 초기화 없이도 적용돼요. ChatGPT의 도움으로 발견한 경계 논증을 핵심으로 활용했어요. 이 논증은 모든 클러스터 포인트가 비활성 좌표 KKT 부등식을 만족한다는 것을 보여줘요.