[KongchangAI]
Unverified50% confidenceFactExact time

The floating-point division bug in Intel's Pentium chip passed the formal verification of the time because the specification itself omitted certain boundary conditions.

1
Sources
50%
Confidence
Long-term
Relevance
9/18/2026
First Seen

Sources

Related Entities

Related Claims

Cite This Claim

Stable URI
https://kongchang.com/claim/931244
API
curl https://kongchang.com/api/v1/knowledge/claims/931244
MCP
get_claim(id=931244)