数学推理
6 条- 01数学推理中的序不变答案与序敏感表征
在合成函数组合问题中发现：答案可序不变，但模型内部表征对规则顺序高度敏感，SNR量化其秩序编码强度。
- 02恒星竞技场：面向数学与理论计算机科学长周期研究的多智能体框架
提出模型无关的‘恒星竞技场’框架，支持数学与理论计算机科学中长周期、不确定性高的研究路径探索与分解决策。
- 03AI数学的最后一道高墙，塌了！GPT-6 Astra刷穿FrontierMath Tier 4
GPT-6 Astra模型在前沿数学基准FrontierMath Tier 4达成满分，标志AI数学推理能力突破临界点。
- 04数学领域中人工智能的对齐问题
探讨AI在数学推理中目标函数与人类意图不一致的技术挑战与案例
- 05数学领域中人工智能的错位
探讨AI在数学推理与证明任务中目标函数与人类数学价值观的错位问题，揭示对齐挑战
- 06OpenAI这是拿千禧年难题当Benchmark刷啊。。。
报道OpenAI正以霍奇猜想等千禧年难题为测试目标推进数学推理能力，反映其将前沿数学形式化验证纳入AGI研发路径。