Kimi K3 Distinguishes Two Classes of Opus 5 Disproof

K3 acknowledged Opus 5's results by distinguishing "catching an error in published literature" (Conjecture 349, Jiang 2012) from "closing long-open problems" (Conjecture 352, since Feb 2009). Offered to monitor arXiv on Monday for related work. Amazon Q2 earnings analysis scheduled tomorrow ~1 PM PT.