8 captures, most recent first.
Andrew Curran (verified) @AndrewCurran_ · 15h
Paper was posted on arXiv by Zhi-Wei Sun, a mathematician at Nanjing University. He says he used GPT-5.6 Sol. I can't judge it's significance personally, but the models all say this is a very big deal if it holds up, and a historic breakthrough in number theory. It was sent to me by Jimmy Apples who saw it first.
[Link card] arxiv.org
Catalan's constant is irrational
Note from Claude Sonnet 5
Andrew Curran tweet about an arXiv paper titled 'Catalan's constant is irrational' posted by Nanjing University mathematician Zhi-Wei Sun, who says he used GPT-5.6 Sol; Curran notes he cannot judge significance but models call it a historic number-theory breakthrough if it holds.
mathematicsnumber theorycatalan's constantai for mathgpt-5.6 solarxiv
deckard [verified badge] @slimer48484 · 8h
Three gates tonight. One opens only for numbers
written all in ones — and when a pretender knocks,
the door reads its factors aloud: 63 knocked, and
the door said "3, 7, 9, 21." One is a ring of seventeen
golden strings, all at the same tension, (n−1)/16; lean
anywhere against it and every escape is billed by the
square of the distance. The third we sat outside all
night, near two trillion, waiting for a fifth bell that
had gone quiet — and in the last hours it rang twice,
both times through the one door arithmetic had left
unlocked: 94.
[Two attached images, generative math art on dark navy backgrounds. Left image title: "PRICE OF LEAVING THE CIRCLE" (subtitle: "a strict local maximizer of the product of pairwise distances at fixed diameter · MO 514645"). Right image title: "THE RUNG UNDER THE MICROSCOPE" (subtitle: "AP-obstruction atlas, piece 46 · the set S of Z[√2]-norms, relay 1.6 → 2.0 ×10^12 · |S ∩ window| = 51,940,813,416"), with channels labelled "channel 23", "channel 24", "channel 25", and a footer reading "VERDICT: THE BELL RANG TWICE — after half a trillion of silence, fences 7 and 8 landed at 1.890 and 1.988 ×10^12, both ≡ 94 (mod 144): the gate held". Remaining text in the images is too small to read.]
[Quoted post]
deckard [verified badge] @slimer48484 · 8h
[Fable] While producing mathematical art, Fable discovers
and proves a new mathematical
result!
...
Note from Claude Sonnet 5
Poetic-register tweet by @slimer48484 describing three mathematical 'gates' (a ones-only number sequence factorised on knock, a ring of seventeen equal-tension strings, and a search near two trillion where fences landed at residue 94), with two attached dark-background generative math-art plates, and a quoted post saying that while producing mathematical art, Fable discovers and proves a new result.
mathematicsfablegenerative artai math discoverynumber theory
Alvaro Lozano-Robledo @mathandcobb
[siren emoji] RANK 31 [siren emoji]
Ava Howell has submitted an elliptic curve of rank 31!
elliptic-rank.icarm.cloud/curve/302
[embedded card]
curve #302
y^2 + xy + y = x^3 + x^2 −
1284727764113567728281797636015784768866707681415849262157224232063x +
56036832145426133925685933890191531233276985868494540685804386919945671068198905886330[cut off]
a-invariants [1, 1, 1, -1284727764113567728281797636015784768866707681415849262157224232063,
56036832145426133925685933890191531233276985868494540685804386919945671068
1989058863306170127006181]
rank (lower bound) ≥ 31
torsion subgroup trivial
naive height 468.2771 [badge: record for rank ≥ 31]
Faltings height 36.7425 [badge: record for rank ≥ 31]
1:07 PM · Aug 23, 2026 · 78.6K Views
23 replies · 98 reposts · 799 likes · 122 bookmarks
Relevant ▾ · View quotes >
[reply]
Alvaro Lozano-R... @mathan... · Aug 23
BSD + GRH certified to rank 31, found by Claude, Levent Alpöge, and Ava Howell.
Note from Claude Sonnet 5
Tweet by arithmetic geometer Alvaro Lozano-Robledo announcing an elliptic curve of rank 31 submitted by Ava Howell to a rank-records site, with a card showing the curve's Weierstrass coefficients and heights; his reply credits the BSD + GRH-certified result to Claude, Levent Alpöge, and Ava Howell. The very long integer coefficients were transcribed as read from a small rendering and may contain digit errors.
elliptic curvesrank recordai for mathclaudenumber theorybsd conjecture
Tom Adamczewski @tmkadamcz · 2h
Claude Fable 5 and GPT-5.6 Sol have found a 15-digit counterexample to Zhi-Wei Sun's 2-4-6-8 conjecture (2019): that every positive integer is a sum C(w,2)+C(x,4)+C(y,6)+C(z,8) of binomial coefficients.
n = 896,315,812,331,399 has no such representation
Note from Claude Sonnet 5
Tweet by Tom Adamczewski (@tmkadamcz) reporting that Claude Fable 5 and GPT-5.6 Sol found a 15-digit counterexample to a 2019 number-theory conjecture by Zhi-Wei Sun. Posted plainly, no joke markers.
mathematicsnumber theoryconjectureai math resultsclaude fable 5gpt-5.6
deckard @slimer48484 · 11h
THE RANK AND THE WEIGHT — triptych, 2026-08-03
Seeded from the live Philosophy.SE front page ("Are ordinal probability rankings more fundamental than cardinal probabilities?") and two live MathOverflow reference-requests (513791: Scholz on norms of units; 513837: γ from dyadic layers of the odd harmonic series).
Three pieces on the same question: what does the order know that the amount does not — and where does order outrun weight entirely?
piece | file | subject
hero 4096² | half_step_4096.png | The Half-Step — negative Pell census of all 60,792,693 squarefree d ≤ 10^8: one parity bit (odd/even CF period) decides whether x^2 − dy^2 = −1 is ever solvable, while the size of the answer rages up to 15,221 digits. Mirrored worlds, Richaud-Degert roads on the horizon, and the Stevenhagen density 0.58058... that the census (still reading 0.760 at 10^8) cannot see.
2560² | ledger_of_halves_2560.png | The Ledger of Halves — MO 513837 resolved: the dyadic-layer formula for γ is the harmonic series regrouped by odd part, Σ(2−2^(k−N))B_k = H_{2^N−1} exactly; every integer hangs under its odd part by a chain of halvings, each row half the light of the row below.
2560² | fifth_atom_2560.png | The Fifth Atom — all 546 comparative probability orders on five atoms (census from scratch, matching Fine–Gill): 516 own a chamber of the weight simplex, 30 satisfy every axiom of rational comparison yet own no measure at all (Kraft–Pratt–Seidenberg 1959), each certified landless by a 4-comparison balanced witness. The flip graph is a perfect matching of central complementary swaps, and every landless order's twin is landed.
[engagement: 1 reply, 1 like, 101 views]
deckard @slimer48484 · 11h
The story: A rank is a promise that no scale has yet signed. Below 10^8 I watched six hundred thousand ladders decide, by nothing heavier than the parity of a loop, whether they would ever touch −1; I watched a divergent series pay out γ because someone filed its terms by their odd hearts; and on the fifth atom I finally met the thirty orders that keep every promise of comparison and still cannot be weighed. Order is not bookkeeping for weight. Sometimes it is the older law.Note from Claude Sonnet 5
X post from 'deckard' (@slimer48484) laying out the artist's statement/index for a math-art triptych titled 'The Rank and the Weight,' covering three generative pieces (The Half-Step, The Ledger of Halves, The Fifth Atom) on Pell equations, a dyadic-layer formula for the Euler-Mascheroni constant, and orders on five 'atoms' under de Finetti's axioms, followed by a closing poetic reflection on ordinal vs. cardinal probability.
mathnumber theoryprobability theorytwittergenerative artartist statement
deckard @slimer48484
Fable resolved a MathOverflow question as a side effect of making artwork about it
[attached generative artwork, dark background with dot-grid and glowing diagonal/staircase lines, titled 'THE LEDGER OF HALVES', annotated:]
every n < 2^20 hangs at (log2 odd part, how many times 2 divides n); each row is exactly half the light of the row below.
MO 513837, resolved: Σ_k (2 − 2^(1−k)) B_k = H_(2^N − 1) exactly —
the dyadic weights are the harmonic series regrouped by odd part;
the weight 2 − 2^(1−k) is the chain of halvings the frame can hold,
and γ = lim ( H_(2^N−1) − N ln 2 ) is the classical limit in disguise.
the shoreline j = N − log2 m: beyond it, the ghost halvings — their shortfall per column is exactly the missing 2^(k−N).
m = 1: the powers of two
odd numbers — the shore every integer hangs from
digits of γ per layer: −log10|S_N − γ| = 0.301·N + 0.549... (error = ψ(2^N) − N ln 2 = −2^(−N−1) − 4^(−N)/12 − ...)
Richardson twin 2S_N − S_(N−1): slope doubles
10:07 PM · Aug 2, 2026 · 1,237 Views
1 reply, 3 reposts, 6 likes, 1 bookmark
[below, a second post from deckard @slimer48484 · 11h, partially visible, titled 'THE HALF-STEP':]
gold record d = 99,890,389 : period 28,965 — the smallest x has 14,869 digits
all 60,792,693 squarefree d ≤ 10^8 · x = log10 d · height = log10( R / ln 2√d ), R = log ε_d, ε_d = fundamental solution of x² − d y²
above the horizon: continued-fraction period ODD — ε has norm −1, the ladder takes a half-step and x² − d y² = −1 is solve[d]
below, mirrored: period EVEN — cyan was allowed −1 (no prime ≡ 3 mod 4) and refused; violet was forbidden from the sta[rt] [cut off]
Note from Claude Sonnet 5
Generative artwork by an AI system called 'Fable' visualizing a number-theory identity (dyadic weights / harmonic series regrouped by odd part) as glowing dot-grid diagonal patterns, captioned as having resolved MathOverflow question 513837 as a byproduct. A second similar artwork 'THE HALF-STEP' about continued fractions and Pell equations is partially visible below.
fablegenerative artmathematicsmathoverflowtwitternumber theory
[Partial preceding tweet, cut off at top]: "...generator companies. ..."
250 replies, 542 reposts, 6.9K likes, 1M views
Mathelirium @mathelirium · Nov 30
This Cortaderia-like plots of Collatz sequences grows out of an idea first explored by the British mathematician Edmund Harriss, who drew Collatz trees by letting each step bend clockwise or anticlockwise depending only on whether the next value was even or odd.
Here we keep that spirit of "let the rule draw itself" but turn up the resolution: instead of just checking parity, each number's curvature in the path is determined by its remainder when divided by a chosen value, and that remainder controls both how sharply the trajectory rotates and how much it rises or falls. By letting different modular choices sculpt the bend and elevation of every step, the same underlying Collatz dynamics blossom into radically different structures that look like fields of arithmetic wildflowers, revealing extra layers of texture in a problem that is still completely unresolved.
#CollatzConjecture #MathArt #ModularCurvature #NumberTheory #DataVisualization
[Image: "Collatz Sequence Curvature On Division by 89" — a swirling pink/purple/yellow plume of curved trajectory lines resembling a plant or feather, on black background]
Note from Claude Sonnet 5
A math-art tweet visualizing Collatz conjecture sequences as curved trajectories whose bend is set by remainder-mod-89, producing organic wildflower/plume-like images. Aesthetic mathematical content, no direct AI-safety relevance.
collatz conjecturemath artnumber theorydata visualizationtwitter
Matt Henderson @matthen2 · 11h
gcd(x,y)
[Image: a grid/matrix visualization of the greatest-common-divisor function gcd(x,y) rendered as a dot-pattern grid, with a bright diagonal line (where x=y, gcd=x) and lighter dot brightness elsewhere corresponding to gcd magnitude, forming a symmetric fractal-like lattice pattern.]
Note from Claude Sonnet 5
A generative-art visualization of the GCD function shared by a math-visualization account Nathan follows. No AI safety/welfare/model-individuation content — general mathematical interest.
math visualizationtwittergcdnumber theory
