AI가 수학 논문을 쏟아낼 때, 인간은 무엇을 해야 하나?OpenAI가 공개한 수학 원고 722편에서 출발해, 형식 증명의 확인과 인간의 이해가 주는 것을 나눠 생각했다. 원고의 철회·수정 이력과 후속 지원 발표를 따라가며 검토에 쓰이는 시간, 설명을 만든 사람의 공로까지 살펴봤다.https://zerry.co.kr/blog/ai-math-proofs-human-work#생각 #AI #수학 #Lean #검증
Related
"A Russian internet comedy duo tricked three of OpenAI’s highest ranking military and national security staff into a can...
"A Russian internet comedy duo tricked three of OpenAI’s highest ranking military and national security staff into a candid conversation about arming Ukraine. The online pranksters...
The newest AI models can do amazing things. It is however good to remember the costs are also extreme. This video shows ...
The newest AI models can do amazing things. It is however good to remember the costs are also extreme. This video shows some amazing examples but includes the time it took to build...
I write about ML, Python, and occasionally zombies. It's a range.The blog covers practical stuff like pytest patterns an...
I write about ML, Python, and occasionally zombies. It's a range.The blog covers practical stuff like pytest patterns and clustering in Python alongside weirder pieces on the uncan...