Beo_VN 1 karma 0d on HN HN profile →
Coverage
We've seen 1 of ~1 submissions
Full eval: 0 Lite-only: 0 Unevaluated: 1
1 stories
1. A Methodological Critique of "First Proof" (Abouzaid et al., 2026)
Regarding: https:&#x2F;&#x2F;arxiv.org&#x2F;abs&#x2F;2602.05192<p>Introduction<p>The First Proof pap...
1 points by Beo_VN 3 days ago | 0 comments | skipped