Unverified50% confidenceOpinionExact time
A guest on the Lex Fridman podcast said he does not believe the axiom has been resolved, and thinks centaur mathematics would be a very good way to do mathematics.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
11/3/2026
First Seen
Valid until: 2/1/2027
Sources
Related Entities
Related Claims
UnverifiedIn 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.75% similarUnverifiedSome mathematicians believe that proofs which cannot be verified step by step by the human brain do not carry sufficient mathematical meaning.65% similarUnverifiedAn AI claimed to have solved a difficult mathematics problem, but may have actually copied the solution manuscripts of two top mathematicians rather than deriving it independently.58% similarUnverifiedTrue mathematical proof requires abstract thinking, logical reasoning, and creative insight.58% similarUnverifiedOn Lex Fridman's podcast, number theorist Alex said he personally witnessed the proof of the quasi-Riemann hypothesis being completed by an AI system.57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1133048API
curl https://kongchang.com/api/v1/knowledge/claims/1133048MCP
get_claim(id=1133048)