54

Questions

25
26
votes
35
answers
9k
views

Examples of interesting false proofs

mar 21 at 15:18 joro 4,27011031

9
24
votes
4
answers
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
votes
12
answers
1k
views

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

mar 26 12 at 12:56 Camilo Sarmiento 381210

8
15
votes
2
answers
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
votes
0
answers
416
views

Is OEIS A007018 really a subsequence of squarefree numbers?

jan 4 at 13:17 joro 4,27011031

2
10
votes
0
answers
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
votes
2
answers
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
votes
3
answers
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
votes
1
answer
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
votes
0
answers
324
views

Diophantine $x^p+y^q=(x+y)^r$

oct 3 11 at 8:23 joro 4,27011031

1 2 3 4 5 6 next