23 entries matching the current filters. Sorted by recently added.
A question from EMS Surveys in Mathematical Sciences (2015). Section 1.1, equation (3), and Section 2; inspected PDF p. 3.
The no 5 on a sphere problem (AlphaEvolve problem 60). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
Subsets of the grid with no isosceles triangles (AlphaEvolve problem 59). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
Erdős--Szekeres Happy Ending problem (AlphaEvolve problem 58). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
Good asymptotic constructions of Szemerédi--Trotter (AlphaEvolve problem 56). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
Erdős squares in a square problem (AlphaEvolve problem 55). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
Pairwise touching cylinders (AlphaEvolve problem 54). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
Equidistant points in convex polygons (AlphaEvolve problem 53). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
Max to min ratios (AlphaEvolve problem 50). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
Circle packing in a square / rectangle (AlphaEvolve problem 36). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
Packing in a dilate (AlphaEvolve problem 35). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
Tammes problem (AlphaEvolve problem 34). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
The Thomson Problem (AlphaEvolve problem 33). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
A Linear Programming Bound (AlphaEvolve problem 13). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
Sphere Packing (AlphaEvolve problem 12). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
Kissing numbers (AlphaEvolve problem 8). Current research status is unassessed; the repository records AlphaEvolve’s result on this question.
Erdős unit distance exponent: determine C 84a or improve its bounds; the repository records 1.014 (1.03583 ) (lower) and frac 4 3 approx 1.3333 (upper).
Flatness constant in dimension 3: determine C 73 or improve its bounds; the repository records 2+ sqrt 2 (lower) and <3.972 (upper).
Sphere packing density in mathbb R ^4 : determine C 36 or improve its bounds; the repository records pi^2/16 approx 0.616850 (lower) and 0.644421 (upper).
Kissing number in dimension 5 : determine C 29 or improve its bounds; the repository records 40 (lower) and 44 (upper).
Chromatic number of the plane: determine C 27a or improve its bounds; the repository records 5 (lower) and 7 (upper).
The No-Three-in-Line Problem. Moderately interesting problem from Epoch AI’s FrontierMath: Open Problems; answers are checked by a verifier program.
A shape with Heesch number 7. Solid result problem from Epoch AI’s FrontierMath: Open Problems; answers are checked by a verifier program.