The DecoderT2·68 pts
- China formed a cross-institutional alliance led by Shing-Tung Yau to mobilize 1,000+ researchers for AI-driven math.
- Western experts, including Fields Medalists, worry that AI-generated proofs lack interpretability and cause intellectual dependency.
- Even among AI users, there is no consensus on whether LLMs provide genuine insight or merely brute-force known methods.