2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved | Dark Hacker News