Unverified50% confidenceOpinionExact time
In a podcast conversation on Lex Fridman, the interlocutor proposed that, constrained by a limited number of inference rules and axioms, the only way to produce mathematics incomprehensible to humans is almost certainly scale.
1
Sources
50%
Confidence
Long-term
Relevance
10/27/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedSome mathematicians believe that proofs which cannot be verified step by step by the human brain do not carry sufficient mathematical meaning.67% similarUnverifiedThe Conway conjecture was proposed by mathematician John Horton Conway and is an open problem in the field of combinatorics or number theory.62% similarUnverified预测编码理论由Friston在21世纪初系统形式化，并发展为自由能原理，认为大脑核心任务是最小化预测误差61% similarUnverifiedFermat's Last Theorem eluded the mathematics community for 358 years.60% similarUnverified西蒙提出了'有限理性'（Bounded Rationality）理论，认为人类决策受到信息、认知能力和时间的约束60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1104663API
curl https://kongchang.com/api/v1/knowledge/claims/1104663MCP
get_claim(id=1104663)