自主证明首次公开 的文章

华人女学霸AI杀疯！本科最难数赛12题全对，自主证明首次公开

新智元报道 编辑：元宇 桃子 在人类满分都罕见的普特南数赛上，AI直接12题全对拿满分。陶哲...

gtsenergyinc 2026-01-10

3 0