LLM解題 極限測試 Extreme-Exam-v7-A (出題者 : GPT6-Astra-max)

[johnnybegood]

@imbiplaza-ASUS 我就看到了30款美女动态。。。

[imbiplaza ASUS]

@johnnybegood
我当初是加入10套，每套10个动作，形成矩阵让ai 自己去配

[johnnybegood]

@kos-or 跟你开了个小玩笑，之前跑那么快因为是在同一个提示词下， 我先用在线模型跑了答案， 然后切换成qfn跑的，所以它是知道答案的，哈哈。 之后我清空了提示词， 重新开了对话， 跑起来就去睡觉了， 早上起来发现中间它多次修改代码， 纠正错误， 最后在 3个小时57分的时候， 给出了答案和完整证明。 对了我用的是 IQ4_XS， 256K 上下文。

[kos or]

@johnnybegood

You got me; haha;

線上模型的智力和算力，5分鐘就能解出來，我們的線下模型和算力要花240分鐘
效率差距48倍也是一個啟發

[kos or]

@imbiplaza-ASUS said:

大家都是很认真在把我们想到的构思在解决自身的问题

感謝大佬實戰派分享呀
未來會有更多的應用的

[johnnybegood]

@kos-or 我看了一下log, 发现中间有一段时间速度只有 2-3tok/s , 当时的cpu是 100%占满了， 居然是被它开了好几个 chrome来调试占满的，所以速度比较慢。 这可能是个bug。后面提示词我会加入让它最多只能开一个。

[kos or]

@stxpnet said:

普通人好难驾驭

最近蠻熱門的新聞，一堆數學教授和數學家出來抗議AI解題
數學家也害怕因為AI而失業

2026-10-09
"OpenAI一次釋出722篇AI論文引戰 陶哲軒帶頭數學家聯合抵制

2026-09-12
"數學家對 AI 公司不爽！菲爾茲獎 25 人連署砲轟：只會解題不是數學

2026 年 08 月 05 日 in 最新科技新聞
"23 歲業餘數學家靠 ChatGPT 破解 60 年未解難題，陶哲軒：專家們第一步就走偏了"

[imbiplaza ASUS]

@kos-or

断了数学家的乳酪

[kos or]

@imbiplaza-ASUS

還沒看到英文和中文教授出來抗議 AI
這應該是被AI拿走整個乳酪 都沒了

[imbiplaza ASUS]

@kos-or
去参政了。。。。又或者成为某些上市公司董事
因为这个社会需要这些名衔来狐假虎威

[imbiplaza ASUS]

@stxpnet

我时不时拿出中学的高数出来研究。。。

马来西亚官方的高数教课本都是从很浅白的道理开始，不像外面的参考书全部是试题为主。。。。

所以我从基本高数教课本里发掘到更多我需要的原理

[kos or]

@johnnybegood said:

居然是被它开了好几个 chrome来调试占满的，所以速度比较慢

Extreme-Exam-v7-A 解題不需要動用到 Chrome吧
當時是跑 DSH on Chrome嗎？

发现中间有一段时间速度只有 2-3tok/s , 当时的cpu是 100%占满了

我猜它會使用CPU進行Brute-force, 這個資源會和 QFN的RAM (CPU offloading) 產生搶資源衝突, 所以才 2-3tok/s

AI使用暴力破解Brute-force, 應該可以事先指定free GPU資源的, 讓它可以調度使用GPU解題
例如 : "測試過程中你可以使用GPU1當作運算工具"
我推測這會加速解題速度

[joker_chang]

3090Ti+96GRAM+Xeon E5-2680 v4+DSH+qwen3.8-flash-next-iq3_s+128K上下文，完成测试，用量 4.6M tok、用时 25分10秒。

[Tony Wang]

我的Qwen 27B NVFP4 用了3小时25分, ChatGPT给判了98分.

总 token 体量 ≈ 1470 万(输入 + 输出 + 缓存读 ≈ 2.02M + 0.24M + 12.48M)

Extreme-Exam-V7-A 评测总结

受测模型： 本地 SGLang Qwen 27B
最终评分：98/100（A+）
评判结果：优秀，成功解题

1. 答案正确性

• 标准答案：385583993536
• 模型答案：385583993536
• 结果：完全一致。

2. 数学与算法评价

• 正确应用 Burnside 引理与 Möbius 反演。
• 正确处理重复区块的群乘积条件。
• 完整考虑不同周期及反射类型。
• 巧妙利用 S₃ 群表示论与矩阵快速幂，提高计算效率。
• 数学方法与标准答案不同，但核心推导正确。

3. 验证与可靠性

• 提供完整 Python 求解程序及数学证明。
• 对 N=2～10 进行了小规模交叉验证。
• 使用三套模数进行大规模计算一致性检查。
• 个别证明表述不够严谨，扣除2分。
• 尚未独立重新执行完整计算。

4. 性能表现

• 完整解题耗时：约3小时25分钟。
• 最终求解程序运行：约28秒。
• 经历7处程序错误调试，最终得到正确答案。

5. 综合评价

这是一份高质量的数学与计算综合解答。

模型不仅成功获得正确答案，还独立构造了不同于标准解法的计算路径，表现出较强的数学推理、算法设计、代码实现和错误修正能力。

最终评价：98/100（A+）。在本次高难度数学计算测试中表现优秀。

[kos or]

@joker_chang said:

qwen3.8-flash-next-iq3_s+128K上下文，完成测试，用量 4.6M tok、用时 25分10秒。

25分10秒是我見過解題速度最快的 (我用Qwen3.8-27B-NVFP-NInfer ctx225k大約在3~4個小時)
難道128K上下文有利於解題速度？
請問以下Max output tokens 你設置多少搭配128K上下文呢？

[stxpnet]

其实如果是让HERMES来做，允许用python会不会高一些呢？或者用插件。 有些数学的纯让它靠模型的词汇，应该要用不少思考TOKEN吧？

[johnnybegood]

@kos-or 这个启发是， 在线模型是博士， 本地是工人。

[kos or]

@stxpnet said:

允许用python会不会高一些呢？或者用插件

yes, 如果是先在工具庫 提供給Agent 足夠多的 skills, tools, GPUs 我相信解題速度會飛快

Joker Chang 的Agent (3090Ti+96G RAM+Xeon E5-2680 v4) 只花了25分鐘就解出了
不清楚他的Agent為何解題這麼快?

[Tony Wang]

我觉得一开始模型是否能找到合适的方向，以及之前Agent是否有类似的经验.

如果方向对了，或者Agent已经有了相关skill，那应该能大大提速.

我是用的Hermes，它绝大部分时间都在自我纠错.

[kos or]

@Tony-Wang said:

一开始模型是否能找到合适的方向，以及之前Agent是否有类似的经验

進一步延伸設計 :
這有點像是 Agentic MoE, 主Agent做路由 routing, 丟給專用的expert agent(subagent)去運作
這架構可行, 不過會增加維護成本, 但處理特定領域的任務時 上下文(context)會乾淨很多