<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/">
  <channel>
    <title>DEV Community: Sepehr Bayat</title>
    <description>The latest articles on DEV Community by Sepehr Bayat (@sepehrbayatphronesis).</description>
    <link>https://dev.to/sepehrbayatphronesis</link>
    <image>
      <url>https://media2.dev.to/dynamic/image/width=90,height=90,fit=cover,gravity=auto,format=auto/https:%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Fuser%2Fprofile_image%2F4077737%2Fa4ab20fa-9240-44bb-947b-58120c9d9e11.jpg</url>
      <title>DEV Community: Sepehr Bayat</title>
      <link>https://dev.to/sepehrbayatphronesis</link>
    </image>
    <atom:link rel="self" type="application/rss+xml" href="https://dev.to/feed/sepehrbayatphronesis"/>
    <language>en</language>
    <item>
      <title>The Most Useful Result in My AI Research Was the One That Failed</title>
      <dc:creator>Sepehr Bayat</dc:creator>
      <pubDate>Fri, 14 Aug 2026 13:17:13 +0000</pubDate>
      <link>https://dev.to/sepehrbayatphronesis/the-most-useful-result-in-my-ai-research-was-the-one-that-failed-hme</link>
      <guid>https://dev.to/sepehrbayatphronesis/the-most-useful-result-in-my-ai-research-was-the-one-that-failed-hme</guid>
      <description>&lt;p&gt;&lt;em&gt;What a broken cohomology claim taught me about measuring coherence in multi-agent systems&lt;/em&gt;&lt;/p&gt;

&lt;p&gt;I started the Phronesis Index with an idea that felt almost obvious once I saw it:&lt;/p&gt;

&lt;p&gt;An intelligent system should not only produce good local answers. Its local commitments should also fit together globally.&lt;/p&gt;

&lt;p&gt;That sounds modest. It is not.&lt;/p&gt;

&lt;p&gt;In a multi-agent system, every agent can be locally rational, every message can pass validation, and every pairwise relationship can look consistent. Yet the full network can still contain a contradiction that appears only when information is composed around a cycle.&lt;/p&gt;

&lt;p&gt;I wanted a single diagnostic signal for that hidden failure mode.&lt;/p&gt;

&lt;p&gt;The result I built looked promising. Then the audit broke its central interpretation.&lt;/p&gt;

&lt;p&gt;And that failure may have clarified the research more than a clean result would have.&lt;/p&gt;

&lt;h2&gt;
  
  
  The original intuition
&lt;/h2&gt;

&lt;p&gt;Most AI observability is built around outputs and events: task completion, latency, token cost, confidence, policy violations, exceptions and human ratings.&lt;/p&gt;

&lt;p&gt;These metrics are useful, but they mostly observe agents one at a time or workflows one step at a time.&lt;/p&gt;

&lt;p&gt;Multi-agent systems add another layer. A network can be locally functional while globally incoherent.&lt;/p&gt;

&lt;p&gt;Consider three local models connected in a loop. Each neighboring pair has a valid translation map. If you inspect any one edge, nothing is wrong. But transport a value around the whole loop and it may return changed. The contradiction is not located in one agent. It belongs to the topology of the system.&lt;/p&gt;

&lt;p&gt;Cellular sheaves give us a language for this. They represent local data, the restriction maps between contexts, and the conditions under which local sections can be glued into a global one.&lt;/p&gt;

&lt;p&gt;The Phronesis Index was my attempt to turn that structure into a practical health signal.&lt;/p&gt;

&lt;p&gt;The name comes from the Greek idea of &lt;em&gt;phronesis&lt;/em&gt;, or practical wisdom. I am not claiming that wisdom can be reduced to one number. The narrower thought is this: practical judgment requires local decisions to remain compatible when they meet reality—and one another.&lt;/p&gt;

&lt;h2&gt;
  
  
  The mathematical mistake
&lt;/h2&gt;

&lt;p&gt;The first implementation constructed a degree-0 sheaf Laplacian and counted near-zero eigenvalues beyond an estimate of the dimension of global sections. The manuscript interpreted that excess as a proxy for first cohomology, &lt;code&gt;H^1&lt;/code&gt;.&lt;/p&gt;

&lt;p&gt;That interpretation was not justified.&lt;/p&gt;

&lt;p&gt;For a standard cellular sheaf, the kernel of the degree-0 Laplacian corresponds to &lt;code&gt;H^0&lt;/code&gt;: global sections. It does not generally decompose into &lt;code&gt;H^0 + H^1&lt;/code&gt; in the way the estimator assumed.&lt;/p&gt;

&lt;p&gt;If the obstruction of interest lives in degree 1, the mathematics has to look in the correct degree—through the degree-1 Hodge Laplacian, the cokernel of the degree-0 coboundary where appropriate, or another construction with a proved relationship to the target.&lt;/p&gt;

&lt;p&gt;This was not a cosmetic correction. It removed the strongest theoretical interpretation of the current scalar.&lt;/p&gt;

&lt;h2&gt;
  
  
  The experiment also refused to cooperate
&lt;/h2&gt;

&lt;p&gt;The safe-RL experiment tested whether adding the Phronesis-based signal to reward shaping would reduce cumulative safety violations.&lt;/p&gt;

&lt;p&gt;In the latest reproducible run, it did not.&lt;/p&gt;

&lt;p&gt;The Phronesis-shaped variant had a worse mean violation count than the baseline, and the difference was not statistically significant. That means the current evidence does not support the safety-improvement claim.&lt;/p&gt;

&lt;p&gt;It is tempting to explain away a negative result: the coefficient was wrong, the environment was too small, the signal was noisy, the seeds were unlucky.&lt;/p&gt;

&lt;p&gt;Any of those could be true. None is evidence.&lt;/p&gt;

&lt;p&gt;The responsible conclusion is smaller: this experiment did not demonstrate the claimed benefit.&lt;/p&gt;

&lt;h2&gt;
  
  
  Why I did not abandon the idea
&lt;/h2&gt;

&lt;p&gt;The failed claim and the failed experiment attack a formula. They do not settle the underlying question.&lt;/p&gt;

&lt;p&gt;Can we observe when local commitments stop composing into a coherent global state?&lt;/p&gt;

&lt;p&gt;I still think this is a useful research direction for three reasons.&lt;/p&gt;

&lt;p&gt;First, the failure mode is real. Distributed systems, multi-robot teams, federated decision processes and agentic workflows all face problems that are not reducible to one bad component.&lt;/p&gt;

&lt;p&gt;Second, the sheaf-theoretic framing is unusually well matched to the structure of the problem. It does not force heterogeneous local contexts into one uniform representation before asking whether they agree.&lt;/p&gt;

&lt;p&gt;Third, observability needs structural signals. As agent networks become more autonomous, output monitoring alone will not tell us whether the internal web of commitments remains mutually possible.&lt;/p&gt;

&lt;p&gt;The strongest part of the project may therefore be the question it makes operational, not the first equation proposed to answer it.&lt;/p&gt;

&lt;h2&gt;
  
  
  The revised research program
&lt;/h2&gt;

&lt;p&gt;I am now separating the work into two tracks.&lt;/p&gt;

&lt;p&gt;The first is mathematical: construct an estimator whose relationship to degree-1 obstruction is explicit, reproducible and tested against synthetic sheaves with known ground-truth cohomology.&lt;/p&gt;

&lt;p&gt;The second is empirical: treat spectral consistency as a narrower engineering signal and test whether it predicts failures that ordinary graph, residual or constraint metrics miss.&lt;/p&gt;

&lt;p&gt;The tracks should meet only after each can stand on its own.&lt;/p&gt;

&lt;p&gt;That creates a better standard for the next version:&lt;/p&gt;

&lt;ul&gt;
&lt;li&gt;a correct object of estimation;&lt;/li&gt;
&lt;li&gt;known ground truth;&lt;/li&gt;
&lt;li&gt;adversarial counterexamples;&lt;/li&gt;
&lt;li&gt;baselines that can beat the method;&lt;/li&gt;
&lt;li&gt;confidence intervals instead of single runs;&lt;/li&gt;
&lt;li&gt;and claims that shrink when the evidence shrinks.&lt;/li&gt;
&lt;/ul&gt;

&lt;h2&gt;
  
  
  Research is allowed to become smaller
&lt;/h2&gt;

&lt;p&gt;There is a strange incentive in public research to make every revision sound like expansion.&lt;/p&gt;

&lt;p&gt;Sometimes progress is the opposite.&lt;/p&gt;

&lt;p&gt;You remove the theorem you cannot defend. You rename the metric so it says less. You publish the negative result. You split one grand paper into two answerable questions.&lt;/p&gt;

&lt;p&gt;The idea becomes smaller, but the work becomes more real.&lt;/p&gt;

&lt;p&gt;The Phronesis Index is currently a research prototype and a preprint under revision. It is not a validated safety metric, and the current implementation should not be treated as a proven estimator of first cohomology.&lt;/p&gt;

&lt;p&gt;But I believe the central question remains open and important:&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;What would it take to make global coherence observable before a multi-agent system fails?&lt;/strong&gt;&lt;/p&gt;

&lt;p&gt;If you work on cellular sheaves, Hodge theory, distributed systems, multi-agent reinforcement learning or AI observability, I would value your criticism.&lt;/p&gt;

&lt;p&gt;Repository: &lt;a href="https://github.com/sepehrbayat/phronesis-index-nmi" rel="noopener noreferrer"&gt;https://github.com/sepehrbayat/phronesis-index-nmi&lt;/a&gt;&lt;/p&gt;

&lt;p&gt;Preprint v1: &lt;a href="https://doi.org/10.21203/rs.3.rs-8830176/v1" rel="noopener noreferrer"&gt;https://doi.org/10.21203/rs.3.rs-8830176/v1&lt;/a&gt;&lt;/p&gt;

&lt;p&gt;— Sepehr Bayat&lt;/p&gt;

</description>
      <category>ai</category>
      <category>machinelearning</category>
      <category>opensource</category>
      <category>computerscience</category>
    </item>
  </channel>
</rss>
