통합검색

인공지능(AI)가 쓸 만한 정리를 찾으면 증명도 끝난 걸까?

린도조 연구에서 전제 검색, 다음 단계 제안, 형식 검증의 역할을 나눕니다. 증명의 빈칸이 어떻게 드러나는지 살펴봅니다.

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

같은 정보를 담아도 왜 어떤 그림이 더 빨리 풀릴까?

정보가 같다는 것과 찾아 쓰는 비용이 같다는 것은 다릅니다. 표와 문장의 탐색 경로를 비교합니다.

Why a Diagram is (Sometimes) Worth Ten Thousand Words

‘그리고’와 ‘또는’이 계산이 되기까지

조지 불의 문제의식에서 출발해 두 조건을 결합하는 작은 논리표를 만납니다.

벤 그림과 오일러 그림은 무엇을 다르게 남길까?

같은 집합 관계를 가능한 구역을 모두 남기는 벤 방식과 성립하는 관계만 배치하는 오일러 방식으로 바꾸어 읽습니다.

정확도가 같아도, AI의 실수는 다르다

20개 부품을 80퍼센트 정확도로 판정한 두 기준. 결함을 놓친 횟수와 정상 부품을 붙잡은 횟수는 서로 다릅니다.