Unverified50% confidenceOpinionExact time
Automatically converting vague natural language instructions into formal specifications is itself an unsolved problem, so the idea of "natural language as the interface, formal verification as the safeguard" pushes the formalization step later rather than eliminating it.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/23/2026
First Seen
Valid until: 1/21/2027
Sources
Related Entities
Related Claims
UnverifiedThe ambiguity of natural language descriptions may cause problems: how AI handles details not explicitly specified in a sentence, such as field mappings, trigger conditions, and authentication configuration, still requires more practical use to verify.77% similarUnverifiedThe ambiguity, implicit premises, and context-dependency of natural language cannot always be cleanly mapped to first-order logic, which is a translation boundary challenge for this architecture.76% similarUnverifiedNatural language programming lowers the cognitive threshold for programming from mastering syntactic rules to clearly expressing requirements.75% similarUnverified当前自然语言生成代码的可靠性仍有明显瓶颈，复杂业务逻辑场景下生成的代码往往需要人工审查和修改73% similarUnverifiedThe core argument of EWD667 is that natural language is vague, ambiguous and context-dependent, whereas programs require precise, unambiguous, mechanically executable instructions, so treating natural language as a programming language is a misunderstanding of the nature of programming.72% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1091262API
curl https://kongchang.com/api/v1/knowledge/claims/1091262MCP
get_claim(id=1091262)