dsubburam
Joined 12 years ago
Joined 12 years ago
Even if no one human can understand the entirety of a complex proof, surely we can piece together multiple experts' separate understandings, so the community as a whole 'understands' the proof?
Is there value in us 'understanding' a proof? Even if no single human can understand a complex proof soup-to-nuts, and we have to piece together several experts' understandings?
If the answer is Not really, then the value of a proof is its utility, its utility in making new products/services, and its utility in making new proofs. If in the case of abstract math, all the utility is of the latter kind (making new proofs), then we have a pyramid scheme here.
I suspect Discovery Loop will have to hire experts in each area they are targeting, to supervise and prompt their system effectively, much like the Terence Tao conversation with ChatGPT the OP cited[2].
[1] https://news.ycombinator.com/item?id=49161518 [2] https://www.seangoedecke.com/llms-reward-expertise/
"Don't post generated text or AI-edited text. HN is for conversation between humans."
I for one will value a similar guideline for submissions. Maybe we can have a poll. @dang.
[1]maybe an AI written article is fine if it is e.g. documentation for some new gadget.
This is an under-rated comment. "Nice" seeming places in Asia might be so because the governments tightly control the narrative and brook no dissent. Citizens end up minding their own business and become apolitical. Society looks neat and organized; but if you don't conform, you get hammered down.
a) be welcoming and indicate that we're OK with broken English (content and intent typically do get through), and/or
b) allow posting in languages other than English (does this even work right now?).
Above probably ahead of its time, but thought I'd just make the suggestion.