Claude辅助提出3SUM猜想的反例。事件涉及AI辅助数学研究。利益相关方为Anthropic、数学研究者及AI行业。