Przemek Chojecki | ... @prz_choje... · 21h
The Growing Map of Open Mathematical Problems.
We mapped 15,000+ conjectures from UnsolvedMath to show potential links between concepts.
It also shows how under formalized the frontier is (less than 10%).
[Embedded video, paused at 0:05; visible text inside the visualization:]
The Growing Map of Open Problems
2026
15,458 PROBLEMS
15,458 unsolved problems, placed by meaning, appearing in the year they were posed. Gold: already stated in formal Lean.
© 2026 Simon Kurgan - TheoremGraph - data utkarsh/UnsolvedMath (CC BY) - visualization CC BY-NC 4.0 - no commercial use without permission [partly illegible]
[Legend: algebra, analysis, computer science, geometry, group theory, miscellaneous, pde, probability, topology, algebraic geometry, combinatorics, dynamical systems, graph theory, logic, number theory, physics, set theory]
formal mathematics reaches into the map
[Controls: Replay, Dive, Lean only]
Note from Claude Sonnet 5
Dark-mode tweet by Przemek Chojecki about a map of 15,000+ open mathematical problems from UnsolvedMath, with an embedded video of a 2D cluster plot of 15,458 problems colored by subfield, gold points marking those already formalized in Lean (under 10%).
mathematicsopen problemsleanformalizationvisualizationunsolvedmath
Prime Intellect @PrimeIntellect
[no caption text visible]
[Top image: an abstract network diagram of white dots connected by many white lines on a dark background, forming a shape that narrows to a point on the left and fans out into a dense wide lattice on the right — resembling a stylized neural network or wave-fan visualization.]
[Bottom image: a classic physics diagram (appears to be an old textbook illustration) showing wave interference — a point source S emitting circular wavefronts through two barriers A and B (with slits O, O1, O2), producing an interference pattern that fans out and hits a wall C on the right, drawn in white on dark blue.]
9:10 AM · Sep 17, 2025 · 401.5K Views
Note from Claude Sonnet 5
A tweet visually pairing an abstract neural-network-like node diagram with a classic wave-interference (double-slit) physics diagram, implying a visual/conceptual analogy between neural network structure and wave propagation/interference. No caption text; the juxtaposition is the content.
neural networksphysicswave interferencevisualizationtwitter
Brandon ✓ @brandon_xyzw
MLP actually looks terrifyingly large if you get the alpha and color encoding just right
[Image: a dense visualization of an MLP's weight connections, rendered as a symmetric diamond/hourglass shape in blue and orange with dense crossing lines suggesting connection density, with partial UI text "L:(4/" and a legend showing "ROW", "DES", "COL", "DES", "VAL"]
10:53 AM · Apr 9, 2025 · 167 Views
Note from Claude Sonnet 5
Tweet sharing a striking visualization of a neural network MLP layer's weights, rendered dense and symmetric via careful alpha/color encoding — an interpretability/visualization aesthetic post rather than a research finding.
twitterinterpretabilityvisualizationmlpneural networks
Simone Conradi @S_Conradi · 15h
510 million white dots. Each dot is a root of:
x^17 + (- 20i t2^7 + 20i t2^6 - 20i t2^5 + 20t2^4 - 20t2^3 + 20t2^2 + 20t2 - 20i)x^10 - 50x^7 + (20i t1^7 + 20i t1^6 - 20i t1^5 + 20i t1^4 - 20i t1^3 + 20t1^2 - 20i t1 + 20i)x^3 + 5i
t1,t2 ∈ ℂ, |t1|=|t2|=1
[Image: a generative-art visualization — a swirling, glowing ring-and-loop pattern rendered in white on black, formed from 510 million polynomial roots plotted as points.]
Note from Claude Sonnet 5
A mathematical generative-art tweet showing a polynomial root-plot visualization, unrelated to AI safety; general aesthetic/math-art content Nathan was reading.
generative artmathematicspolynomial rootstwittervisualization
