数学界进入“证明过剩”时代?OpenAI称一款内部模型已解决100多道长期开放的数学问题

2026-09-24 11:11:58 量子位 北京 举报
0
分享至
无障碍浏览 进入关怀版