[일반] 알파프루프가 무슨 원리인지는 이해되는데

[익명(119.202)]

알파프루프를 제미니에 어떻게 통합할 건지는 예측이 안됨

[익명(218.158)]

전공자임?

[익명(119.202)]

컴공 전공이긴 한데 AI 전공은 아님

[익명(115.143)]

? 이해했으면서 왜 예측이안됨?

[익명(119.202)]

알파프루프는 아직까지는 형식 증명 언어에 한정된 기술인데 이걸 제미니에 적용한다는 게 단순히 자연어 수학 문제 -> 형식 언어 -> 알파프루프 레이어를 추가해서 수학 문제만 잘 풀게 한다는 건지, 아니면 알파프루프의 방법론을 그대로 적용해서 추론 능력 자체를 향상시킨다는 건지 그걸 모르겠음. 전자라 해도 알파프루프가 내뱉은 출력을 다시 사람이 알아듣게 변환하는 과정에서 환각 오질 것 같고, 후자는 감도 안 옴

[익명(115.143)]

통합하고 공개했을때 환각 오지면 전자가 맞겠네