@JakeKAllDay@GaryMarcus@grok@grok what if the neural regime were not just perception but neural reasoning while symbolic processing were not reasoning? E.g. automated testing with results feeding back to the neural reasoner? Could this be construed to fall within neurosymbolic AI as defined by Gary Marcus?
Well said. The saddest part is that he's technically not wrong.
A: "Humans are unreliable"
B: "A checklist helps a lot"
A: "I meant humans without pen and paper and I maintain they ARE unreliable. I was right."
B: "This doofus thinks people can't do anything."
A: "You haven't even refuted my claim! I am still right!"
@GeoffreyHuntley@zex_exe ๐ฏ Correctness proofs are going to be a core mechanic. The ultimate backpressure, not tests. Especially when people get serious about security.
@steipete@hopsec_@AnthropicAI I use a tampermonkey script to scrape it from the page in a browser. I avoided cli because /usage will start your usage window, whereas the browser reports it passively.
@mattpocockuk I'd be interested to hear Jeffrey Emanuel's thoughts @doodlestein . Maybe some circumstances or some properties make a difference? (I don't have a take for or against, just trying to learn.)
hey surprise - you can just launch interactive in tmux and then tail the jsonl - shipped a small wrapper...ralph loop iterating to full parity rn https://t.co/3N4klSSEwd
@liron@BrandonGoldman We need a new category for disability, meaning people basically unemployable through no fault of their own.
Disabled is any IQ below 90. Oops now 110. Oops now 150...
@GaryMarcus What makes the difference between "AI" (neuro-symbolic or otherwise) and a dumb wrapper or harness?
Some hard-coded string matching in a LLM wrapper is enough to be neuro-symbolic AI or is it something else?