A post over “Combinatorics and More” describes Nissan Hajaj’s proposal to combine AI with polymath projects. Together with Nissan Hajaj and Ido Kaminer we plan to run some projects (possibly also here on the Polymath Blog) and at a later stage to consider resources and tools that can advance such projects.
Tim Gowers recently proposed a polymath project about the word problem in the Artin-Tits group. (It also has some AI component.)
RSS feed for comments on this post. TrackBack URI
 | primesdemystified on Deterministic way to find prim… |
| primesdemystified on Polymath News and AI |
 | Birke Heeren on A new polymath proposal (relat… |
 | Anonymous on A new polymath proposal (relat… |
| Anonymous on A new polymath proposal (relat… |
| Anonymous on A new polymath proposal (relat… |
| Polymath Plus AI | C… on Two polymath (of a sort) propo… | |
| Ten Recent Questions… on Two polymath (of a sort) propo… | |
| Anonymous on Rota’s Basis Conjecture:… |
| Anonymous on Rota’s Basis Conjecture:… |
| Anonymous on Polymath projects 2021 |
| Richard Montgomery a… on Rota’s Basis Conjecture:… | |
| Anonymous on “Crowdmath” projec… |
| Anonymous on Rota’s Basis Conjecture:… |
| Anonymous on A sort of Polymath on a famous… |
Polymath Wiki – most recent changes
The polymath blog 
Riemann Hypothesis Obsoleted by Rust Engine implemented / Lean-4 Interactive Theorem Prover Certified “Theorem of Resonant Redundancy.”
Abstract:
For over 160 years, pure mathematics has treated the distribution of prime numbers as an intractable statistical mystery, traditionally approached through Bernhard Riemann’s 1859 analytic framework. This paper presents a comprehensive synthesis of the Theorem of Resonant Redundancy (The Croft Identity) as a complete, deterministic alternative to the probabilistic approximations of the Riemann Hypothesis. By shifting the mathematical coordinate system from an infinite, continuous complex plane to a discrete, finite 4-dimensional 96-room toroidal lattice, we demonstrate that prime numbers are not statistical anomalies, but the mechanical, inevitable clearances of a rigid modular architecture. We provide elite computational benchmarks from a divisionless Rust sieve matching OEIS A006880 byte-for-byte, backed by formal verification in the Lean-4 interactive theorem prover, formalizing a paradigm shift from analytic wave approximation to structural geometric realism.
https://www.linkedin.com/feed/update/urn:li:groupPost:4510047-7462674940681433089/?utm_source=social_share_send&utm_medium=ios_app&rcm=ACoAAAB5JI8BS7X0ZrxM1jNNcWzjEJux9ds-YBs&utm_campaign=copy_link
Documented on Github at: github.com/humuhumu33/master-clock
Comment by primesdemystified — June 12, 2026 @ 11:37 pm |