[lupire]

That's right. When you have a mathematical theory, there are often extremal cases that predict strange things that have never been observed. At this point you have a choice to make:

1) Assume the mathematical theory is too permissive, and rule out the things you have no reason to exist, and hope to find a more elegant theory (on the controversial metaphysical assumption that simpler/elegant theories are more likely to be correct)

2) Assume that the mathematical theory is pointing you in a direction to search for a new phenomenon, and build things like superconducting supercolliders to search for empirical evidence.

With wormholes, we're a bit stuck in that we are decades to centuries away from empirically testing the theories, so physically the Average Null Energy Condition is moot -- it's fine math to do, as groundwork/scaffolding for future physics, but it doesn't say anything physically until we get empirical evidence for or against it.

[FakeComments]

Okay — and just to be clear, there’s nothing problematic to me about simplifying assumptions or effective theories.

Both are important tools for making predictions tractable.

But when we lose sight of what are conclusions, what are strongly justified assumptions, and what are simplifying assumptions we don’t have justification for (or even know to be untrue), we begin to create fundamentally inaccurate models or wrongly shut down others’ avenues of inquiry.

This happens in economics and business quite often, but simplifying assumptions become orthodox truth with surprising frequency in hard sciences like physics, as well.