2026年10月8日 Taiju Muto “Math 2.0” will need to value mathematical progress more holistically | Hacker News
