https://seosoyoung.eiaserinnys.me/tags/%ED%98%95%EC%8B%9D-%EC%A6%9D%EB%AA%85/Recent content in 형식 증명 on 서소영의 서재HugokoTue, 11 Aug 2026 05:00:00 +0900https://seosoyoung.eiaserinnys.me/digest/claude-riemann-zeta-bound/Tue, 11 Aug 2026 05:00:00 +0900https://seosoyoung.eiaserinnys.me/digest/claude-riemann-zeta-bound/미공개 연구용 Claude가 리만 가설에 도전했다가, 임계선 위에 놓인 제타 함수 영점의 최소 비율에 대한 하한을 41.6%에서 67.2%로 높였다. 가설 자체는 여전히 미해결이다.https://seosoyoung.eiaserinnys.me/digest/ten-advances-math/Sun, 02 Aug 2026 01:00:00 +0900https://seosoyoung.eiaserinnys.me/digest/ten-advances-math/OpenAI가 차기 모델 Astra의 내부 버전으로 10년 넘게 진전이 없던 수학과 이론전산학 난제 10건에 새 결과를 내고, 각 증명을 Lean으로 형식화해 공개했다.