新智元 (微信公众号)T2·85 pts
- Chinese scientific multimodal LLM assisted in proving the 3D Ghys conjecture
- Peking University's SHEAF framework provided rigorous formal verification of the proof
- Validated a closed-loop human-AI collaborative research paradigm: system exploration, expert judgment, accumulation, and feedback correction