|
Basel, Hankel, and a recent proof of ζ(5) irrationality
|
|
1
|
140
|
October 7, 2026
|
|
An intuitive exploration of OpenAI's Navier–Stokes singularity construction (for the $1M Millennium Prize Problem)
|
|
4
|
3253
|
September 25, 2026
|
|
Hadamard matrix of order 668
|
|
1
|
171
|
September 22, 2026
|
|
Four-color graphical bioinformatics: the machinery behind phylogenetic trees
|
|
2
|
564
|
August 31, 2026
|
|
[BOOK] Exploring Partial Differential Equations: A Computational Approach now available
|
|
1
|
531
|
August 3, 2026
|
|
A deeper peek at the AI assist to DSolve[]
|
|
1
|
542
|
July 31, 2026
|
|
Jacobian conjecture counterexample by LLM
|
|
4
|
1958
|
July 26, 2026
|
|
[WSRI26] Non-Projectional Rigidity in Finite-Axiom Theorem Spaces, and the System-135 Phenomenon
|
|
1
|
569
|
July 18, 2026
|
|
[WSRI26] Interpreting How Neural Nets Regress Cubic Polynomials
|
|
1
|
667
|
July 18, 2026
|
|
[WSRI26] Observer Theory in Cellular Automata
|
|
3
|
931
|
July 18, 2026
|
|
[WSRI26] A Computational Study of Benford's Law in Integer Sequences
|
|
1
|
600
|
July 17, 2026
|
|
[WSRI26] Lie Algebras from Strings to Hyperstrings
|
|
1
|
559
|
July 17, 2026
|
|
[WSRI26] Inverting the Sitnikov Problem
|
|
1
|
812
|
July 17, 2026
|
|
[WSRI26] Solving the k-ary Density Classification Task
|
|
2
|
600
|
July 17, 2026
|
|
Get snarky: the cycle double cover conjecture -- an AI proof?
|
|
1
|
1819
|
July 15, 2026
|
|
Branch-correct affine expansions for log, power and arg
|
|
0
|
461
|
July 13, 2026
|
|
[WSRP26] Spatial and temporal patterns of artificial satellites around earth
|
|
2
|
921
|
July 10, 2026
|
|
[WSRP26] Combinatorial-geometric properties of proof spaces of structures in universal algebra
|
|
1
|
1077
|
July 9, 2026
|
|
[WSRP26] The topology of pentagon aggregation and resultant void shapes
|
|
1
|
859
|
July 9, 2026
|
|
The Min and Max of the No-3-in-line problem
|
|
5
|
1720
|
July 5, 2026
|
|
OpenAI disproves Erdős unit distance conjecture
|
|
6
|
20100
|
June 30, 2026
|
|
No-3-in-line problem solved for order 70 by Marijn Heule
|
|
1
|
1333
|
June 18, 2026
|
|
Progress in the no-three-in-line-problem
|
|
1
|
1617
|
May 11, 2026
|
|
All elementary functions from a single binary operator
|
|
1
|
11293
|
April 19, 2026
|
|
Spacefilling polyhedra: Voronoi cell tessellation & stereohedra classification in 3D Euclidean space
|
|
1
|
1462
|
April 15, 2026
|
|
Rule 30 exact binomial-Lucas lifting: boolean logic to integer coefficients, Stirling & support sets
|
|
3
|
3112
|
March 26, 2026
|
|
AI logic & Knuth's conjecture: Claude LLM's generalized rule for 3D toroidal Hamiltonian lattices
|
|
2
|
2344
|
March 6, 2026
|
|
[BOOK] Special Functions: A Computational Approach now available in Wolfram Notebook format
|
|
1
|
2005
|
March 5, 2026
|
|
The entropy bagel: complex roots of Littlewood polynomials
|
|
2
|
1894
|
March 4, 2026
|
|
Investigating fractal triangles and spectral graph analysis in recursive subdivision
|
|
1
|
3094
|
February 20, 2026
|