모든 유리수의 로그는 무리도 지수가 2임이 증명되다
The logarithms of rational numbers have irrationality exponent 2 [pdf]
Dan Brown은 양의 유리수 α≠1에 대해 log α의 무리도 지수가 2임을 증명했다. 기존 기록은 log 2에 대해 3.5746이었다. 증명은 π의 무리도 지수가 2임을 보인 보간-행렬식 논증을 지수 곡선 z ↦ (e^z, z) 위의 점들로 옮긴 것이다. 새로운 핵심은 서로 다른 지수 좌표 섬유에 중심을 둔 분리 가중 보간 정리이며, 이는 Lean 4와 Mathlib에서 형식화되었다.
모든 양의 유리수 α≠1에 대해 log α의 무리도 지수는 2이다.
- WalterGR
여기 댓글 15개: https://news.ycombinator.com/item?id=49961538
대부분 (소위?) 저자가 아니라 그 주장에 관한 내용이다.
- jdb1729
이건 pi에 대한 OpenAI 증명을 Lean으로 검증한 변형이다.
- elromulous
이 각주가 정말 마음에 든다
∗The Da Vinci Code의 저자.