AlphaEvolve problems — qed.bot Claims, announcements and changes across AlphaEvolve problems. https://qed.bot/feeds/collections/alphaevolve-problems.xml 2025-11-05T00:00:00Z qed.bot Kakeya needle problem — record (AlphaEvolve) urn:qed:166d3eadcb21 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. Kissing numbers — record (AlphaEvolve) urn:qed:fb0d7eed86f3 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. Difference Bases — record (AlphaEvolve) urn:qed:2c41a906b171 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. Logic puzzles (problem 68) — unstated (AlphaEvolve) urn:qed:6b83641a728c 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Logic puzzles (problem 67) — matched (AlphaEvolve) urn:qed:0dd7fad9bc28 2025-11-05T00:00:00Z Matched the best known construction. Autonomy A2, evidence V1, fidelity F0. The function guessing game — unstated (AlphaEvolve) urn:qed:7b429fdb0446 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Variant of IMO 2025, Problem 6 — matched (AlphaEvolve) urn:qed:1cd51dfe6246 2025-11-05T00:00:00Z Matched the best known construction. Autonomy A2, evidence V1, fidelity F0. The three-dimensional moving sofa problem with two perpendicular turns — record (AlphaEvolve) urn:qed:95ba03acb13a 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. The ambidextrous moving sofa problem — matched (AlphaEvolve) urn:qed:d13ab0a55eaf 2025-11-05T00:00:00Z Matched the best known construction. Autonomy A2, evidence V1, fidelity F0. The moving sofa problem — matched (AlphaEvolve) urn:qed:b58bb6712036 2025-11-05T00:00:00Z Matched the best known construction. Autonomy A2, evidence V1, fidelity F0. The Ring Loading Problem — record (AlphaEvolve) urn:qed:56193ef2fbd4 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. The no 5 on a sphere problem — record (AlphaEvolve) urn:qed:586e181c0de0 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. An autocorrelation problem related to difference bases — below (AlphaEvolve) urn:qed:5572bbce5704 2025-11-05T00:00:00Z Did not reach the best known construction. Autonomy A2, evidence V1, fidelity F0. Subsets of the grid with no isosceles triangles — record (AlphaEvolve) urn:qed:8c5fe1bea9bc 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. Erdős--Szekeres Happy Ending problem — unstated (AlphaEvolve) urn:qed:32f501b894a1 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Rudin problem for polynomials — unstated (AlphaEvolve) urn:qed:feb1d8679254 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Good asymptotic constructions of Szemerédi--Trotter — unstated (AlphaEvolve) urn:qed:d2e3aeee8843 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Erdős squares in a square problem — unstated (AlphaEvolve) urn:qed:886405aa2cbf 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Pairwise touching cylinders — matched (AlphaEvolve) urn:qed:a801b33f0d42 2025-11-05T00:00:00Z Matched the best known construction. Autonomy A2, evidence V1, fidelity F0. Equidistant points in convex polygons — unstated (AlphaEvolve) urn:qed:5bcfaf1993e2 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Erdős squarefree problem — unstated (AlphaEvolve) urn:qed:5ea245772fad 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Erdős–Gyárfás conjecture — unstated (AlphaEvolve) urn:qed:b66f0cb0cb21 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Max to min ratios — record (AlphaEvolve) urn:qed:6b440520f388 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. Erdős minimum overlap problem — record (AlphaEvolve) urn:qed:6a083de5192b 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. Heilbronn problem in an arbitrary convex bounding box — record (AlphaEvolve) urn:qed:381462bb3537 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. Heilbronn problem in a fixed bounding box — record (AlphaEvolve) urn:qed:2430a7b51f5a 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. Matrix multiplications and AM-GM inequalities — unstated (AlphaEvolve) urn:qed:5026ac6f5f86 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Minimal triangle density in graphs — matched (AlphaEvolve) urn:qed:37956aa6e859 2025-11-05T00:00:00Z Matched the best known construction. Autonomy A2, evidence V1, fidelity F0. Sum-product problems — unstated (AlphaEvolve) urn:qed:cef074151222 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Sum-difference problem III — superseded (AlphaEvolve) urn:qed:0ea013e800c7 2025-11-05T00:00:00Z Held the record at publication, since beaten. Autonomy A2, evidence V1, fidelity F0. Sum-difference problem II — below (AlphaEvolve) urn:qed:0e1bb0227eaa 2025-11-05T00:00:00Z Did not reach the best known construction. Autonomy A2, evidence V1, fidelity F0. Sum-difference problem I — record (AlphaEvolve) urn:qed:9ee02c34cde6 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. Points on sphere maximizing the volume — unstated (AlphaEvolve) urn:qed:468c16f8c15d 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Erdős discrepancy problem — below (AlphaEvolve) urn:qed:a8d493d98a9e 2025-11-05T00:00:00Z Did not reach the best known construction. Autonomy A2, evidence V1, fidelity F0. An autocorrelation problem with functions that can take negative values — record (AlphaEvolve) urn:qed:17ce75537446 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. Beat the average game — below (AlphaEvolve) urn:qed:96cba1b4944e 2025-11-05T00:00:00Z Did not reach the best known construction. Autonomy A2, evidence V1, fidelity F0. Factoring N! into N numbers — superseded (AlphaEvolve) urn:qed:6627cb857023 2025-11-05T00:00:00Z Held the record at publication, since beaten. Autonomy A2, evidence V1, fidelity F0. The hypergraph Turán number of the tetrahedron — unstated (AlphaEvolve) urn:qed:457e550a9ac4 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Circle packing in a square / rectangle — superseded (AlphaEvolve) urn:qed:a34922952e10 2025-11-05T00:00:00Z Held the record at publication, since beaten. Autonomy A2, evidence V1, fidelity F0. Packing in a dilate — record (AlphaEvolve) urn:qed:fa003bd930cd 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. Tammes problem — unstated (AlphaEvolve) urn:qed:b528fe1de82b 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. The Thomson Problem — unstated (AlphaEvolve) urn:qed:bacf0192af2e 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Spherical Designs — record (AlphaEvolve) urn:qed:d2e83790fbfb 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. Furstenberg-Sárközy Problem — unstated (AlphaEvolve) urn:qed:c901e1db393d 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. The Arithmetic Kakeya Conjecture — record (AlphaEvolve) urn:qed:7899428c56dc 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. How much can an autocorrelation of a non-negative function resemble an indicator function? — superseded (AlphaEvolve) urn:qed:8e2fe50f1d98 2025-11-05T00:00:00Z Held the record at publication, since beaten. Autonomy A2, evidence V1, fidelity F0. Block Stacking Problem — matched (AlphaEvolve) urn:qed:58f89e2147d8 2025-11-05T00:00:00Z Matched the best known construction. Autonomy A2, evidence V1, fidelity F0. Golay's Merit Factor — below (AlphaEvolve) urn:qed:3801cedc2613 2025-11-05T00:00:00Z Did not reach the best known construction. Autonomy A2, evidence V1, fidelity F0. The Prime Number Theorem — below (AlphaEvolve) urn:qed:741db9beec41 2025-11-05T00:00:00Z Did not reach the best known construction. Autonomy A2, evidence V1, fidelity F0. Sidorenko's Conjecture — unstated (AlphaEvolve) urn:qed:835fc1c6e5b0 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Crouzeix's Conjecture — unstated (AlphaEvolve) urn:qed:6116b802ca28 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. de Bruin-Sharma Problem — unstated (AlphaEvolve) urn:qed:cb8ed9a9782f 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Smale's Problem — unstated (AlphaEvolve) urn:qed:a1b53c5ab23e 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Borcea's Conjecture — unstated (AlphaEvolve) urn:qed:9b2b48c041ca 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Schmeisser's Conjecture — unstated (AlphaEvolve) urn:qed:0b6055489b6b 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Sendov's Conjecture — unstated (AlphaEvolve) urn:qed:ff0f647ae754 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. An autocorrelation problem related to Sidon sets — record (AlphaEvolve) urn:qed:7ed164cba2f7 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. The Ovals Problem — matched (AlphaEvolve) urn:qed:017b2f962099 2025-11-05T00:00:00Z Matched the best known construction. Autonomy A2, evidence V1, fidelity F0. Hardy-Littlewood Maximal Inequality — below (AlphaEvolve) urn:qed:c22d8545971c 2025-11-05T00:00:00Z Did not reach the best known construction. Autonomy A2, evidence V1, fidelity F0. Young's Convolution Inequality — matched (AlphaEvolve) urn:qed:9ed21b65c6fd 2025-11-05T00:00:00Z Matched the best known construction. Autonomy A2, evidence V1, fidelity F0. Special Case of Gagliardo-Nirenberg Inequality — matched (AlphaEvolve) urn:qed:5786641cb555 2025-11-05T00:00:00Z Matched the best known construction. Autonomy A2, evidence V1, fidelity F0. Gagliardo-Nirenberg Inequality — matched (AlphaEvolve) urn:qed:c9edeaac6b1f 2025-11-05T00:00:00Z Matched the best known construction. Autonomy A2, evidence V1, fidelity F0. Hausdorff-Young Inequality — matched (AlphaEvolve) urn:qed:529cb9003ad2 2025-11-05T00:00:00Z Matched the best known construction. Autonomy A2, evidence V1, fidelity F0. A Linear Programming Bound — unstated (AlphaEvolve) urn:qed:343c73ff478e 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Sphere Packing — unstated (AlphaEvolve) urn:qed:6dfaa4f56aad 2025-11-05T00:00:00Z unstated. Autonomy A2, evidence V1, fidelity F0. Uncertainty principle — below (AlphaEvolve) urn:qed:208b36e07e6e 2025-11-05T00:00:00Z Did not reach the best known construction. Autonomy A2, evidence V1, fidelity F0. 3D Kakeya problem — record (AlphaEvolve) urn:qed:a4cdb6f2b781 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0. Kakeya and Nikodym sets in finite fields — record (AlphaEvolve) urn:qed:fc539e436017 2025-11-05T00:00:00Z Best known construction at publication. Autonomy A2, evidence V1, fidelity F0.