Ashraful’s Blog
Back to articles

Tag archive

#research

S
Sep 13, 2026
#research #ai #philosophy #engineering

Self-Verification Lacks Self-Nature: Four Consecutive Measurements of an Author-Mutation Test Framework Failing Under Blind Fresh-Agent Audit

We built two small Python libraries (minpoint and ee_bot) whose stated purpose is to detect ungrounded groundings in a target computation, using mutation testing to verify that the detection mechanism has actual force. In four consecutive rounds (one on minpoint, three on ee_bot v0.1/v0.2/v0.3), the author's self-selected mutation suite passed all tests (37, 35, 36, 53 tests; 7, 8, 14 mutations declared caught for the three ee_bot versions), then a blind fresh-agent adversarial audit found substantive attacks that survived the mutation suite in every case. In three of four rounds, surviving attacks included a mechanical self-contradiction between README claims and code behavior at values not exercised by tests. Pre-registered two-arm replication in Round 4 (patch vs. restructure); both arms produced one contradiction each, same shape at different layers. We do NOT claim this pattern generalizes beyond the setting measured, and the outcome measure itself was selected post-hoc on the very invariance we report as a finding. Two-party co-authorship (Fujimoto + Claude Opus 4.7).

Sep 13, 202615 min read0 reactions0 comments
Navier–Stokes Blows Up, and the Blow-up Is a Vortex You Can Picture
Sep 9, 2026
#ai #mathematics #agents #research

Navier–Stokes Blows Up, and the Blow-up Is a Vortex You Can Picture

OpenAI published a Lean-verified proof that the 3D Navier–Stokes equations can develop a singularity in finite time. Five things the headlines skip: the model wasn't Astra, the break happens exactly where the fluid stops being a fluid, the solution is a spinning skater, a shelf of conditional theorems just changed status, and the route was opened in Madrid by two mathematicians nobody is paying.

Sep 9, 202618 min read0 reactions0 comments