Particle.news
Graph Properties Bipartite Graphs Combinatorics Graph Structures Spectral Graph Theory Extremal Graph Theory Graph Construction Connected Graphs Graph Characterization Conjectures
The company says its AlphaProof Nexus combined large‑model reasoning with Lean verification, a claim that could change how mathematicians work if independent checks confirm the results.
