---
🔗 **[数学中的人工智能正在迫使人们提出重大问题](https://spectrum.ieee.org/ai-in-mathematics)**

> AI in mathematics is forcing big questions
📊 94投票 · 投稿者: rbanffy
🏷️ 来源: Hacker News
⏱️ 2026-06-27 14:00