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

[tetrohedro]

大家好，我是四面体～

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

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

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

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

 

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

剧透

@missalot @jas

@fakeclouds @Tokur

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

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

昨日 11:27，由tetrohedro修改

[project]

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

[tetrohedro]

1 分钟前，project说道:

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

字数: 27

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

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

[missalot]

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

[默龙君]

0308

[ㅤ凯ㅤ]

这个我见过有人解出来~

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

[Tsurukawa鹤川忧]

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

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

[琴苼悠扬]

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

[伯里特丸]

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

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

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

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

[TsumiKAMI]

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

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

就算是零分吐司也能看破

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

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

[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不需要任何提示，就解决了这个问题。

15 小时前，由tetrohedro修改

[tetrohedro]

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

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

字数: 52

又一个AI阵亡了～

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

[tetrohedro]

11 小时前，ㅤ凯ㅤ说道:

这个我见过有人解出来~

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

字数: 32

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

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

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

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

[tetrohedro]

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

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

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

字数: 32

Tsurukawa君可是冠军之一的说～

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

[TsumiKAMI]

57 分钟前，tetrohedro说道:

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

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

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

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

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

你的意思是 只要让AI作弊 或者 略微作弊 就可以做得出来吗？！四面体大将！

AI不作弊的话 连哲学题都做不出来 简单的说就是没有skills的加持 或者 训练数据特化的 情况下 

目前的通用型AI无法完成【检索】然后【重组】——它们会傻傻的爆窗口。

因此，解决方法是！

人类给出方向（作弊一）检索指引（作弊二）

增加窗口容量（能力提升1.0）

智能体重组（邪修1.0）

这种题目很不适合拟人系统的AI，交给专业处理数学题（批发数学问题）的家伙就对了。

【根据四面体大将的论述：得到的结论是！AI BRO并没有“独立”解数学题的能力，死因皆为性能不够和作弊】

于是正直的AI BRO 在吐司禁用提示词和联网以及skills的情况下 它们全部都给出了 【无法解答】 的答复。

————————————————————————————————————————————————

结论：复合型 or 人机协作 型 AI BRO 确实可以解题，但是 这完全属于专业领域人士使用专业知识解答专门问题，

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

是《四面体悖论一号》

——————————————————————————————————

准确的说【无法解答】：指的是 AI BRO的计算力 无法给出【具体解】，

但它们都说，这道题必定存在整数解，但无法直接给出答案，需要外部软件。

 

 

 

14 小时前，由TsumiKAMI修改

[tetrohedro]

6 分钟前，TsumiKAMI说道:

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

是《四面体悖论一号》

的确啊

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

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

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

[Tokur]

算出来个整数解

x =10733680363511342830998605670315357876
y =-26002954279983814794511196680447493149805
z =-229365321791393105114775911058660762150

MMA可验证

貌似无正整数解

[tetrohedro]

42 分钟前，Tokur说道:

算出来个整数解

x =10733680363511342830998605670315357876
y =-26002954279983814794511196680447493149805
z =-229365321791393105114775911058660762150

MMA可验证

貌似无正整数解

字数: 17

龙娘果然是高性能的说～

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

剧透

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

 

[Tokur]

50 分钟前，tetrohedro说道:

龙娘果然是高性能的说～

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

  隐藏内容

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

 

是的，转成椭圆曲线Y^2 = X^3 + 8464X^2 + 736X + 16之后尝试各种神秘方法（主要使用工具是SageMath），最后基于解析秩为1和Heegner点的结论，从D=-39弄出了有理点

X =729162759175056300716582905/75247219082195798203449
Y =26950046320158421646607906930801610789133/20641235149772312448522924246802707

然后转出了整数解，同时基于Mordell-Weil 群的同构定律和一些测试计算得出了没有正整数解的结论

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

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

[tetrohedro]

14 分钟前，Tokur说道:

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

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

字数: 195

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

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

[Tokur]

7 分钟前，tetrohedro说道:

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

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

好耶~

数学太有魅力了www

[tetrohedro]

5 分钟前，Tokur说道:

好耶~

数学太有魅力了www

字数: 9

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

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

[Tokur]

13 分钟前，tetrohedro说道:

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

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

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