分页: 1 / 1

有没有被计算机否定的数学猜想

发表于 : 2023年 1月 19日 18:52
FGH
越有名越好。

Re: 有没有被计算机否定的数学猜想

发表于 : 2023年 1月 19日 20:51
(ヅ)
FGH 写了: 2023年 1月 19日 18:52越有名越好。
亲咪咪数以前被猜想共有最小divisor, but
The first examples of amicable pairs where the two members have different smallest prime factors have been found!
First such pair was found on October 8th, 2015 but went unnoticed until now. Today there are 7 such pairs known:
https://sech.me/ap/news.html#20160130

Re: 有没有被计算机否定的数学猜想

发表于 : 2023年 1月 19日 22:20
TheMatrix
(ヅ) 写了: 2023年 1月 19日 20:51 亲咪咪数以前被猜想共有最小divisor, but



https://sech.me/ap/news.html#20160130
Interesting.

Re: 有没有被计算机否定的数学猜想

发表于 : 2023年 1月 20日 13:14
FoxMe
费马素数猜想:

费马猜想型如2^{2^n}+1的数都为素数,他考察了前5个数3, 5, 17, 257, 65537均为素数,因此有这个猜想。

但是n=6就不成立了。但是这个猜想并没有解决:费马素数有多少个?没人能回答。

Re: 有没有被计算机否定的数学猜想

发表于 : 2023年 1月 20日 15:03
FoxMe
被计算机否定的数学猜想应该不少。

Re: 有没有被计算机否定的数学猜想

发表于 : 2023年 1月 21日 16:38
FGH
FoxMe 写了: 2023年 1月 20日 13:14 费马素数猜想:

费马猜想型如2^{2^n}+1的数都为素数,他考察了前5个数3, 5, 17, 257, 65537均为素数,因此有这个猜想。

但是n=6就不成立了。但是这个猜想并没有解决:费马素数有多少个?没人能回答。
这个猜想好像是被肉人否定的。

Re: 有没有被计算机否定的数学猜想

发表于 : 2023年 1月 22日 00:09
lbs
FGH 写了: 2023年 1月 21日 16:38 这个猜想好像是被肉人否定的。
http://www.kepu.net.cn/gb/basic/szsx/8/ ... 0%E3%80%82

据传是被欧拉这个人肉计算机否定的。

Re: 有没有被计算机否定的数学猜想

发表于 : 2023年 1月 23日 10:31
FoxMe
嗯。

Re: 有没有被计算机否定的数学猜想

发表于 : 2023年 1月 23日 13:26
混元形意太极门
Euler conjecture counterexample.
不知道是不是计算机算出来的。