lean
| 글 | 댓글 | 조회수 | 활동 | |
|---|---|---|---|---|
| 리만 제타 함수 임계선 영점 비율: Claude가 무조건적 하한을 41.6%에서 67.25%로 올린 Anthropic의 연구 (≠ 리만 가설 증명) |
|
0 | 185 | 8월 19, 2026 |
| Feedback Distillation: LLM 피드백 증류로 Lean 정리 증명 학습하기 (feat. Meta FAIR) |
|
0 | 161 | 7월 2, 2026 |