Explore our questions
Score of 96
33 answers
23438 views
Examples for the use of AI and especially LLMs in major mathematical developments
- reputation score 163963
Score of 0
0 answers
6 views
Reference request for a Theorem of Arnold Scholz about norm of untis
- reputation score 321
Score of 47
7 answers
18757 views
Are we stuck with Lean?
- reputation score 79
Score of 9
2 answers
647 views
+500
$\sum_{i<j} x_{ij}^\alpha \ge \sum_{i<j} y_{ij}^\alpha $ for arbitrary cyclic polygons
- reputation score 37256
Score of 5
1 answer
128 views
Infinitely many primes where reductions acquire prescribed complex multiplication
- reputation score 719
Score of 1
0 answers
33 views
Arithmetic progresssions of sums of two squares
- reputation score 2307
Score of 4
1 answer
101 views
Maximize expectation of a function among log-concave random variables
- reputation score 9851
Score of 11
3 answers
1236 views
Score of 1
1 answer
422 views
Ways to generalize the Lebesgue inequality in approximation theory
- reputation score 42522
Score of 34
2 answers
1216 views
Is the determinant of this "Fibonacci sum" indicator matrix always $-1$, $0$, or $1$?
- reputation score 13765
Score of 28
2 answers
8180 views
What are the monomorphisms in the category of schemes?
- reputation score 2986
Score of 0
0 answers
62 views
Score of 1
0 answers
29 views
Ergodicity of normalized geodesic flow on unstable bundle
- reputation score 51
Score of 2
0 answers
80 views
Berger's wreath construction as adjoint to taking cocategories?
- reputation score 68166
