balajis
@balajis.eth
What can’t AI do? Deterministic polish. Maybe it can get there for code. With formal verification. But then that’s not really pure AI.
7 replies
4 recasts
44 reactions
tldr (tim reilly)
@tldr
Love this phrasing Was talking w my friend who’s a mathematician about his take on AI growth rate (he tests it mostly with high level math proofs) and he sees the “plausible confidence” of its proofs as a glass ceiling It becomes clearest in math that the AI doesn’t have a “source of truth” for itself
1 reply
0 recast
4 reactions
Joshua Fisher ⌐◨-◨
@joshuafisher.eth
Can some sort of RAG architecture solve for this though?
0 reply
0 recast
0 reaction
