OpenAI의 수학 문서, 이제 수학계가 직접 고친다
Oai-math-revised: a community hub for revising OpenAI's math write-ups
OpenAI가 공개한 수학 문서는 이해하기 어렵고 인용도 불완전한 경우가 많다. Abhinav Nellore, Johannes Schmitt, Soledad Villar, Rachel Ward가 꾸린 oai-math-revised 프로젝트는 GitHub 저장소를 열어 학생부터 교수, 애호가까지 수학계 전체가 참여해 이 문서들을 개선하도록 초대한다. 웹에서 바로 열람할 수 있고, 검토자와 관리자로 참여하려는 사람은 이메일로 지원하면 된다.
OpenAI의 수학 문서는 이해하기 어렵고 인용이 불완전한 경우가 있다.
HN 토론
27- sdenton4
수학에도 새로운 진리 상태가 필요한 것 같다: 형식 검증을 통해 참임을 알지만 일관된 증명은 없는 결과를 위한 "검증됨-그러나-증명되지-않음".
나는 일반적으로 이 상태가 빠르게 "증명되고 검증됨"으로 해소될 것이라고 예상한다(수학의 역사적 경향은 결과에 대한 복잡한 최초 증명이 나온 뒤, 새로운 도구와 정의가 등장하면서 증명 복잡도가 크게 줄어드는 것이었으므로). 하지만 브루트포스로 검증된 결과에 대해 합당한 증명을 만들어내는 누구/무엇에게든 실제 공로를 돌리는 데는 여전히 유용할 수 있다.
- vishna
이건 OpenAI식으로 PhD 학생들에게 무급 인턴십을 얻어내는 방식이다
- turzmo
수학자들이 전에 형식화로 스스로 무덤을 파는 걸 즐기지 않았다면, 이제는 스스로 이름 없는 집단 무덤을 파는 걸 즐기게 될지도 모르겠다?