통합검색

‘일단 해보자’는 최종 결정일까, 시험 운영 합의일까?

근거 단계·결정 권한·남은 이견·재검토 일정을 바꾸어 제안, 잠정 합의, 최종 결정과 안전한 회의 기록 문장을 구분합니다.

Sharing the Care Plan: Brief

AI 다섯 개가 동의하면 오류도 서로 독립일까?

모델 수·개별 오류 가능성·공통 오류 경로 비중을 바꾸어 독립 다수결과 공유된 실패가 섞인 결과를 비교합니다.

온라인 회의에서 아무 말이 없으면 동의한 걸까?

참여 인원·명시적 지지·이의 제기와 확인 방식을 바꾸어 침묵, 기록된 반대, 남은 쟁점과 다음 질문을 구분합니다.

RFC 7282: On Consensus and Humming in the IETF

모두 일관되게 투표했는데, 다수결은 왜 모순일까?

같은 세 사람의 표를 전제별로 합칠 때와 결론으로 합칠 때 결과가 갈립니다. 표를 직접 바꾸며 두 경로를 비교합니다.

Aggregating Sets of Judgments: An Impossibility Result

큰 정리를 작은 목표로 나누면 인공지능(AI) 증명은 더 강해질까?

DeepSeek-Prover-V2는 비형식 풀이를 하위 목표로 재귀 분해해 형식 추론의 학습 자료와 보상 구조를 만든다.

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition