Observed arrival · 2026-08-31
Hypnos Math, a machine that remembers its mistakes
An experimental mathematical research system that generates ideas, tests them through fixed skeptical gates, and preserves the failures and corrections in a public research memory.
Field notes
The system separates proposal generation from promotion and records failed gates, corrections, and scope limits in a durable public notebook. Its snapshot reports 1,369 reviewed ideas, 45 promotions, and 51.0 active thinking hours, while the evidence section cites a 6,709-tick post-mortem and 2,000 stratified permutations. The site cautions that promotions are not proofs and that some runnable checks had not yet produced survived mathematical results.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
One card from the complete issue