54

Questions

25
26
35
9k
views

Examples of interesting false proofs

mar 21 at 15:18 joro 4,27011031

9
24
4
2k
views

Can the difference of two distinct Fibonacci numbers be a square infinitely often?

jan 4 at 22:47 Zack Wolske 1,11429

6
21
12
1k
views

Interesting conjectures “discovered” by computers and proved by humans?

mar 26 12 at 12:56 Camilo Sarmiento 381210

8
15
2
560
views

zeta(3) in terms of derivatives of zeta at 1/2 and pi

may 6 at 8:22 joro 4,27011031

2
10
0
416
views

Is OEIS A007018 really a subsequence of squarefree numbers?

jan 4 at 13:17 joro 4,27011031

2
10
0
450
views

Is “OEIS A001935 Number of partitions with no even part repeated” efficiently computable $\mod 4$?

mar 23 11 at 14:45 joro 4,27011031

10
2
1k
views

Consequences of technically proving anything in Coq (on at least Linux) exploiting a bug? [closed]

may 9 11 at 7:02 joro 4,27011031

1
9
3
535
views

What CASes say about the analytic rank of rank 8 elliptic curve ‘457532830151317a1’

nov 13 at 2:42 Dima Pasechnik 3,080314

2
8
1
581
views

Up to $10^6$: $\sigma(8n+1) \mod 4 = OEIS A001935(n) \mod 4$ (Number of partitions with no even part repeated )

mar 23 11 at 13:31 joro 4,27011031

6