[KongchangAI]
Unverified50% confidenceFactExact time

Isabelle由Lawrence Paulson于1986年在剑桥大学开发

1
Sources
50%
Confidence
Long-term
Relevance
8/22/2026
First Seen

Sources

Mathematics in the Age of AI: How Proof Assistants and Machine Intelligence Are Reshaping Mathematical Research

Related Entities

IsabelleproductLawrence Paulsonperson

Cite This Claim

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