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

[FGH]

越有名越好。

[（ヅ）]

越有名越好。

亲咪咪数以前被猜想共有最小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

[TheMatrix]

亲咪咪数以前被猜想共有最小divisor, but



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

Interesting.

[FoxMe]

费马素数猜想：

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

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

[FoxMe]

被计算机否定的数学猜想应该不少。

[FGH]

费马素数猜想：

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

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

这个猜想好像是被肉人否定的。

[lbs]

这个猜想好像是被肉人否定的。

http://www.kepu.net.cn/gb/basic/szsx/8/ ... 0%E3%80%82

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

[FoxMe]

嗯。

[混元形意太极门]

Euler conjecture counterexample.
不知道是不是计算机算出来的。