娱乐 【复活】数学算法挑战 —— 和上次完全一样的题目（有奖励）～

[tetrohedro]

大家好，我是四面体～

为了给SS大陆的居民们发放免费的节操福利，四面体决定出一道.... 和上次一模一样的题目～

并且比起上次的题目，放宽了条件，题目要求从正整数解变成了整数解的说～

为了无法直接复制上次的答案，方程的右侧从40变成了92的说～

第一个给出任意整数解的回答者可以获得来自四面体的100节操奖励的说～

 

这回的题目真的和上次一模一样吗？

剧透

@missalot @jas

@fakeclouds @Tokur

@hentai14 @367ddd @reflectK @Tsurukawa鹤川忧 

召唤各位参加过数学算法挑战的老兵们～

昨日 11:27，由tetrohedro修改

[tetrohedro]

1 分钟前，project说道:

不太清楚 我问了傻包 他告我没有解 在这里蹲一个 看看有没大佬

字数: 27

四面体用红字立下誓言：绝对有解的说～

如果没有解的话，四面体愿意接受来自皮卡攸的天罚的说～

[tetrohedro]

13 小时前，missalot说道:

整数解的话靠手算是不是不太可能捏

字数: 16

手算的确是不可能的～

毕竟是数学算法挑战的说～

[tetrohedro]

8 小时前，伯里特丸说道:

放弃，折腾了两个多小时，唯一的收获就是AI蠢的要死

有理数=自然数这种话都能说得出来，问思路也只会硬从1、2、2.5、4这么一个一个算

完全没学过椭圆曲线，再加上没给已知解也没法依葫芦画瓢算基点和倍点

现在就是对着个三次方程的判别式发呆，暴力求解已经到50000还没出结果
看不懂喵，摆了喵

字数: 118

四面体在出题时可是做出了很多思考的说～

实际上伯里特丸君已经有了很大成果的说～ 这道题的关键，的确就是寻找第一个有理点。

暴力搜索是一个不错的思路～

如果方程的右侧不是92，而是其他的数字的话，暴力搜索的确是可行的说～

[tetrohedro]

4 小时前，TsumiKAMI说道:

数学（算术）（方程）（公式）(公理）零分的吐司只能边缘OB了，

让我们试试用推理系统来进行量子破解吧！只要把数学题当成密码算法大解密，想必！

就算是零分吐司也能看破

但是路途坎坷，还是看看远方的《整数解是啥？能吃吗？！小课堂》

事实证明：大模型不是超算和量算，叽叽了（AI BRO要烧了wwww）

字数: 110

四面体再次成功烧毁了一个AI～

这道题实际上可以用AI做，只是得满足两个条件之一：

• 智能体AI
• 提示正确的方向

四面体这次在出题前已经反复让各种AI测试过题目的说～

有不少的AI在有限的提示下解决了这个问题，还有一个智能体AI不需要任何提示，就解决了这个问题。

18 小时前，由tetrohedro修改

[tetrohedro]

9 小时前，琴苼悠扬说道:

完全算不懂索性丢给ai尝试一下
结果ai算了足足十分钟，看的我眼花缭乱结果也没算出来（
看来ai在这种大魔王题目前面也很蠢呀

字数: 52

又一个AI阵亡了～

面对着大魔王题目，人类的时代要重新来临了吗～

[tetrohedro]

11 小时前，ㅤ凯ㅤ说道:

这个我见过有人解出来~

这也是传说中看起来很弱的，其实是超级隐藏boss的存在！

字数: 32

卡米那君想到的是这道题吗～

四面体出的题目的确受到了那道题的启发的说～

但是，如果和那道题完全一样，就太没有挑战性的说～

所以，四面体的题目比那道题要更难的说～

[tetrohedro]

9 小时前，Tsurukawa鹤川忧说道:

咦，我怎么被艾特到了，我上次有参加吗完全不记得……

数学苦手啦，感觉做不出来……

字数: 32

Tsurukawa君可是冠军之一的说～

https://sstm.moe/topic/358943-数学算法挑战-构造-斯芬克斯之谜/#findComment-17788555

[tetrohedro]

6 分钟前，TsumiKAMI说道:

完全无法实际应用（完蛋）【也就是说 不知道答案的人 是 无法得到答案的 而知道答案的人又没必要让AI去嘎嘎嘎】

是《四面体悖论一号》

的确啊

这的确是AI应用的第一悖论～

AI现在是一个有效放大个人解决问题能力的杠杆～

但是，如何撬动杠杆是困难的说～

[tetrohedro]

42 分钟前，Tokur说道:

算出来个整数解

x =10733680363511342830998605670315357876
y =-26002954279983814794511196680447493149805
z =-229365321791393105114775911058660762150

MMA可验证

貌似无正整数解

字数: 17

龙娘果然是高性能的说～

四面体一次性只能发50节操的糖，剩下的50节操会下次交付的说～

剧透

好奇：龙娘是如何找到有理点的？是使用了黑格纳点吗？

 

[tetrohedro]

14 分钟前，Tokur说道:

以上基本是靠Gemini提供的思路，由于Toku是学计算机的，弄工具还配挺快，除开调bug的时间，最后的程序跑了2、3分钟就出结果了。只是数学部分，Toku不怎么看得懂，基本只有简单的转换和结论能看得懂x

其实Toku想学数学的，只不过两次命运的捉弄没能如愿，导致现在Toku在这种方面的数学完全是半吊子x

字数: 195

Toku君解决问题的方法和四面体完全一样的说～

四面体也是一开始想学数学，但是因为各种原因没能如愿的说～

[tetrohedro]

5 分钟前，Tokur说道:

好耶~

数学太有魅力了www

字数: 9

下次Toku君有出题的想法吗～

出题是最能体会数学魅力的方式之一的说～

[tetrohedro]

6 分钟前，Tokur说道:

可能暂时没有，起码也要几个月之后才有这种闲情逸致啦，最近都忙忙的，总感觉什么事情没做，之后还有什么事情要做x

 

这方面四面体也有一模一样的感觉的说～

人生就是由不同的任务组成的说～

任务是做不完的说～

13 小时前，由tetrohedro修改

[tetrohedro]

8 小时前，Tokur说道:

我也好奇，应该是某种带CLI agent的AI，光凭LLM自己估计做不到，肯定要带sage玩的。CLI Agent我都没用过，完全不熟，不过可能是Claude的？貌似有印象有这个功能

字数: 51

没错的说～

的确是Claude的说～

[tetrohedro]

7 小时前，367ddd说道:

让chatgpt来做，到椭圆曲线的推导都很正常，结果后面写sagemath代码的时候就开始犯病出现幻觉，经典开始调用错误的属性和错误的函数，以及提前投降说此题无解，放弃本题了

顺便，如果暴力求解的话，ABC在-2000到2000的取值范围内，可以找到-1936, -1849, -1764, -1681, -1600, -1521, -1444, -1369, -1296, -1225, -1156, -1089, -1024, -961, -900, -841, -784, -729, -676, -625, -576, -529, -484, -441, -400, -361, -324, -309, -289, -256, -225, -205, -196, -193, -169, -144, -121, -111, -100, -81, -64, -60, -57, -49, -36, -25, -24, -22, -17, -16, -11, -10, -9, -4, -1, 3, 5, 6, 9, 10, 14, 15, 19, 40, 41, 53, 66, 87, 159, 261这几个系数的解

字数: 96

这张表看起来好熟悉～

四面体在出题时，准备了一张基本一模一样的表的说～

ChatGPT实际上可以解这道题的说～ 不过需要一些辅助的说～ 

如果将ChatGPT配合Codex和一些提示的话，就可以解决的说～

[tetrohedro]

5 小时前，ikazuchi说道:

和楼上给出的应该是同一组结果，只是轮换对称并乘了个-1

注：我在以上求解过程中尝试使用了Gemini、Grok和豆包（给了一定的提示），但没有一个完全做对的，Gemini和豆包都给出了无解的伪证，Gemini思路对了，但注意力不集中，换元时没有注意到正确的变换，导致后面全错，找了个错误的曲线以为rank=0无解。豆包则是用初等数论给出了一个伪证，看起来似乎像模像样，但实际上错误很严重，推理到后面就不记得自己在前面假设的条件了。Grok则不知道为什么一直沉迷于写程序穷举，给它提示后也只是换一种思路再写代码再穷举，然后说在它尝试的范围内找不到解。我把Gemini的伪证给Grok看，但Grok找不出真正的错误点。把豆包的伪证给Gemini看，倒是很快就发现问题了。从数学推理能力来看，Gemini在这几个里应该算是遥遥领先了。

字数: 414

看来有理点的高度还是不够高～

下次四面体如果出类似的题目的话，需要提升有理点的高度～

Gemini的数学推理能力的确鹤立鸡群，四面体在使用时也感到Gemini能够解决其他AI解决不了的数学问题。