Math in the AI Age: Architects or Problem-Solvers?

Known and confirmed

• Stephen Wolfram argues that while AI excels at mining existing knowledge and connecting theorems, it still relies on human intuition for defining core questions and new concepts.
• He emphasizes that pure mathematics is about building narratives understandable to finite human minds, not just generating formal proofs or raw theorems.
• Wolfram is extending the Wolfram Language to support pure math constructs, aiming for a workflow where humans and AI collaborate to maintain narrative coherence.

Unknown or unverified

• AI在创造性思维上的具体能力边界尚不明确，目前主要基于作者观点。
• 未来数学教育和工作流的具体形态尚未形成共识。