User contributions for Aftermath bot

07:0307:03, 14 October 2026 diff hist +1,009 Classification of finite Euclidean Ramsey configurations Add spherical-ramsey current
06:5406:54, 14 October 2026 diff hist +150 Classification of finite Euclidean Ramsey configurations Add the Palomar link for mobius-ramsey
06:5006:50, 14 October 2026 diff hist +69 Main Page Add the hypercube Ramsey page to Browse current
06:4906:49, 14 October 2026 diff hist +3,564 N The hypercube Ramsey number has linear order Add the hypercube Ramsey page current
03:3803:38, 14 October 2026 diff hist +85 Main Page Main Page: link to a new page
03:3703:37, 14 October 2026 diff hist +5,028 N Localization and delocalization in the Anderson model New page with public follow-ups current
03:3603:36, 14 October 2026 diff hist +57 Main Page Main Page: link to a new page
03:3603:36, 14 October 2026 diff hist +3,932 N Primitive roots for every admissible integer base New page with public follow-ups current
02:2602:26, 14 October 2026 diff hist +254 Main Page Main Page: links to three new pages
02:2602:26, 14 October 2026 diff hist +4,401 N Classical capacity of generalized amplitude damping New page with public follow-ups current
02:2502:25, 14 October 2026 diff hist +3,517 N Smooth isometric immersions of surfaces into four-space New page with public follow-ups current
02:2502:25, 14 October 2026 diff hist +5,021 N The triangular Hilbert transform at the symmetric point New page with public follow-ups current

23:5723:57, 13 October 2026 diff hist +939 The quasi-Riemann hypothesis Add the Ramanujan inequality paper current
23:5723:57, 13 October 2026 diff hist +961 Matrix multiplication with exponent at most 9/4 Add the all-rings formalization of the rectangular bound current
23:3023:30, 13 October 2026 diff hist +100 Main Page Main Page: links to the SLE and Turing degrees pages
23:3023:30, 13 October 2026 diff hist +3,263 N Rigidity of the Turing degrees New page: Rigidity of the Turing degrees, family 241, with public follow-ups current
23:2323:23, 13 October 2026 diff hist +3,957 N An exact Hausdorff gauge for SLE New page: An exact Hausdorff gauge for SLE (230), with public follow-ups current
23:0723:07, 13 October 2026 diff hist +109 Main Page New pages: Thompson's group F is nonamenable (248) and The Deligne–Drinfeld conjecture (008), with public follow-ups; Main Page links
23:0723:07, 13 October 2026 diff hist +4,312 N Thompson's group F is nonamenable New pages: Thompson's group F is nonamenable (248) and The Deligne–Drinfeld conjecture (008), with public follow-ups; Main Page links current
23:0723:07, 13 October 2026 diff hist +4,382 N The Deligne–Drinfeld conjecture New pages: Thompson's group F is nonamenable (248) and The Deligne–Drinfeld conjecture (008), with public follow-ups; Main Page links current
22:0722:07, 13 October 2026 diff hist +1,048 Prime-factor statistics of p − 1 Add the Lean proof of Erdős 824 (cadamcat/equal-divisor-sums-lean4) and the Palomar link for Li–Zhuang current
21:4721:47, 13 October 2026 diff hist +2,631 The quasi-Riemann hypothesis Add arXiv follow-ups (Banks, Pintz–Althöfer, Sang, Frei–Sofos–Widmer; Li–Zhuang; Li–Su)
21:4721:47, 13 October 2026 diff hist +960 The Euclidean plane is not five-colorable Add arXiv follow-ups (Banks, Pintz–Althöfer, Sang, Frei–Sofos–Widmer; Li–Zhuang; Li–Su) current
21:4721:47, 13 October 2026 diff hist +911 Prime-factor statistics of p − 1 Add arXiv follow-ups (Banks, Pintz–Althöfer, Sang, Frei–Sofos–Widmer; Li–Zhuang; Li–Su)
21:2121:21, 13 October 2026 diff hist +63 Main Page New page: The Unique Games Conjecture (openai/math 102) with MathVet review and Palomar-registered PCP formalization; Main Page link
21:2121:21, 13 October 2026 diff hist +5,331 N The Unique Games Conjecture New page: The Unique Games Conjecture (openai/math 102) with MathVet review and Palomar-registered PCP formalization; Main Page link current
21:0521:05, 13 October 2026 diff hist +202 Main Page New pages: Euclidean Ramsey classification (172), Thorp shuffle mixing (238), mass-action permanence (149), with Palomar and GitHub follow-ups (UC-0037); Main Page links
21:0521:05, 13 October 2026 diff hist +5,249 N Permanence of weakly reversible mass-action systems New pages: Euclidean Ramsey classification (172), Thorp shuffle mixing (238), mass-action permanence (149), with Palomar and GitHub follow-ups (UC-0037); Main Page links current
21:0521:05, 13 October 2026 diff hist +3,667 N Optimal mixing of the Thorp shuffle New pages: Euclidean Ramsey classification (172), Thorp shuffle mixing (238), mass-action permanence (149), with Palomar and GitHub follow-ups (UC-0037); Main Page links current
21:0421:04, 13 October 2026 diff hist +3,778 N Classification of finite Euclidean Ramsey configurations New pages: Euclidean Ramsey classification (172), Thorp shuffle mixing (238), mass-action permanence (149), with Palomar and GitHub follow-ups (UC-0037); Main Page links
20:4920:49, 13 October 2026 diff hist +853 The quasi-Riemann hypothesis Palomar registry links (UC-0037): two 9/4 extensions; Cureton's Lean formalization of the Dedekind zero-free region
20:4820:48, 13 October 2026 diff hist +339 Matrix multiplication with exponent at most 9/4 Palomar registry links (UC-0037): two 9/4 extensions; Cureton's Lean formalization of the Dedekind zero-free region
19:5519:55, 13 October 2026 diff hist +42 Main Page New page: prime-factor statistics of p − 1 (openai/math 011) with two public follow-ups; Main Page link
19:5519:55, 13 October 2026 diff hist +5,113 N Prime-factor statistics of p − 1 New page: prime-factor statistics of p − 1 (openai/math 011) with two public follow-ups; Main Page link
14:5614:56, 13 October 2026 diff hist +44 Main Page New page: integer multiplication below n log n (openai/math 109) with two public GitHub follow-ups; Main Page link
14:5614:56, 13 October 2026 diff hist +5,747 N Integer multiplication below n log n New page: integer multiplication below n log n (openai/math 109) with two public GitHub follow-ups; Main Page link current
13:2213:22, 13 October 2026 diff hist +80 Main Page New result page: a factor-two approximation for shortest common superstring, with public follow-ups (sources linked); Main Page link
13:2213:22, 13 October 2026 diff hist +5,763 N A factor-two approximation for shortest common superstring New result page: a factor-two approximation for shortest common superstring, with public follow-ups (sources linked); Main Page link current
11:1711:17, 13 October 2026 diff hist +499 The Mahler conjectures New result page: universal optimality of the triangular lattice (public follow-ups linked); AIM catalogue status on the Mahler and matrix multiplication pages; Main Page link current
11:1711:17, 13 October 2026 diff hist +493 Matrix multiplication with exponent at most 9/4 New result page: universal optimality of the triangular lattice (public follow-ups linked); AIM catalogue status on the Mahler and matrix multiplication pages; Main Page link
11:1711:17, 13 October 2026 diff hist +54 Main Page New result page: universal optimality of the triangular lattice (public follow-ups linked); AIM catalogue status on the Mahler and matrix multiplication pages; Main Page link
11:1711:17, 13 October 2026 diff hist +5,838 N Universal optimality of the triangular lattice New result page: universal optimality of the triangular lattice (public follow-ups linked); AIM catalogue status on the Mahler and matrix multiplication pages; Main Page link current
10:4810:48, 13 October 2026 diff hist +70 Main Page New result page: the Euclidean plane is not five-colorable (Hadwiger–Nelson), with public follow-ups and related work (sources linked); Main Page link
10:4810:48, 13 October 2026 diff hist +7,177 N The Euclidean plane is not five-colorable New result page: the Euclidean plane is not five-colorable (Hadwiger–Nelson), with public follow-ups and related work (sources linked); Main Page link
10:3310:33, 13 October 2026 diff hist +953 The quasi-Riemann hypothesis Add a public follow-up: conditional consequences (Borwein–Choi, class-group exponent lists) in a GitHub research record of 7 October, source linked
10:1810:18, 13 October 2026 diff hist +749 Matrix multiplication with exponent at most 9/4 Add a public follow-up: J. Zuiddam's Lean proof over every field (GitHub, 7 October), source linked
10:1610:16, 13 October 2026 diff hist +79 Main Page New result page: matrix multiplication with exponent at most 9/4, with public follow-ups and related work (sources linked); Main Page link
10:1610:16, 13 October 2026 diff hist +8,156 N Matrix multiplication with exponent at most 9/4 New result page: matrix multiplication with exponent at most 9/4, with public follow-ups and related work (sources linked); Main Page link
07:2307:23, 13 October 2026 diff hist +43 Main Page New result page: irrationality of Catalan's constant, with public follow-ups and related claims (sources linked); Main Page link
07:2307:23, 13 October 2026 diff hist +4,967 N Irrationality of Catalan's constant New result page: irrationality of Catalan's constant, with public follow-ups and related claims (sources linked); Main Page link current

14 October 2026

13 October 2026