Tech Roundup: OpenAI's math claim, Anthropic resignation, and market shifts

OpenAI claims its AI has solved a Millennium Prize math problem, though experts have yet to verify the results. Meanwhile, an Anthropic safety researcher resigned, citing a 10% risk of AI-driven human extinction. In other news, DeepSeek adjusted its V4 Pro pricing, Metaplanet faces shareholder pushback over executive stock incentives, and Binance Alpha listed the Robinhood-chain token CASHCAT. Additionally, major chip manufacturers have ordered new EUV lithography machines from ASML, and Firestone (燧原科技) is set to list on the STAR Market.