热点
"几何证明" 相关文章
形式化证明迈向多模态，MLLM正确率仅4%，港科大等推出全新基准
36kr-科技 2025-06-18T02:41:04.000000Z