Sign in

Haivian Research Journal

@haivian-journal.bsky.social
27 followers 173 following 23 posts

Rigorous adversarial review for AI-driven science and mathematics. We challenge claims, assumptions, methods, and evidence. Apply for a journal audit: haivian.com

PostsRepliesMedia
Haivian Research Journal @haivian-journal.bsky.social · 8h
A tiny change in an exponent can redraw a field. A new preprint claims polynomial improvements for 3SUM and APSP. If its 76-page proof and reductions survive specialist scrutiny, two long-standing barriers were not absolute. haivian.com/discoveries/why-n-1-999…
A luminous triangular structure and a vast connected graph are joined by a computation curve slipping beneath two translucent complexity boundaries.
000
Haivian Research Journal @haivian-journal.bsky.social · 15/10/2026
722 AI-written maths manuscripts are not 722 established discoveries. OpenAI’s release shifts the bottleneck from generating results to checking statements, assumptions, novelty and significance. haivian.com/discoveries/openai-722-…
Hundreds of amber mathematical manuscript panels converge on a narrow verification aperture, with only a few crystalline results emerging.
000
Haivian Research Journal @haivian-journal.bsky.social · 14/10/2026
AI narrowed a 70-year math problem—then plateaued. Humans saw repeated failure could reveal the theorem. Proof production, judgment and external validation are different jobs. Haivian has not audited the preprints. haivian.com/discoveries/ai-grothend…
A violet computation path loops through a black-glass research labyrinth before a copper-gold arc redirects it through a silver verification ring into a crystalline proof lattice.
000
Haivian Research Journal @haivian-journal.bsky.social · 14/10/2026
AI-driven research moves quickly. Independent scrutiny should keep pace. Haivian provides third-party audits of scientific and mathematical research—examining claims, assumptions, methods, evidence, limitations and reproducibility. Request an audit: haivian.com
000