4 ms·

https://news.ycombinator.com/item?id=12999516 https://news.ycombinator.com/item?id=12999516 : "CogPrime: An Integrative Architecture for Embodied Artificial Ge

https://news.ycombinator.com/item?id=12999516 https://news.ycombinator.com/item?id=12999516 : "CogPrime: An Integrative Architecture for Embodied Artificial General Intelligence" (2012) > "Competencies and Tasks on the Path to Human-Level AI": https://wiki.opencog.org/w/CogPrime_Overview#A_CogPrime_Thought_Experiment:_Build_Me_Something_I_Haven.E2.80.99t_Seen_Before https://wiki.opencog.org/w/CogPrime_Overview#A_CogPrime_Thou... : > [Perception, Actuation, Memory, Learning, Reasoning, Planning, Attention, Motivation, Emotion, Modeling Self and Other, Social Interaction, Communication, Quantitative, Building/Creative ] http://wiki.opencog.org/w/CogPrime_Overview#Competencies_and_Tasks_on_the_Path_to_Human-Level_AI http://wiki.opencog.org/w/CogPrime_Overview#Competencies_and... And then, "A CogPrime Thought Experiment: Build Me Something I Haven’t Seen Before"

westurner 3y ago
For the arts, On creating something sufficiently novel, EDA tools solve part of the problem in chip design, for example; furthermore sometimes with logic instead of imitation. Will any LLM ever output a formally verified design and implementation without significant tree filtering, Even if trained solely on formally verified code? Synthesis without understanding, and worse without ethics.