You cannot avoid the ultimate questions forever.
AGI
-
Connecting individual forms to understand complex systems holistically
By
–
We see different forms and try to connect them all together to make sense of the whole thing. We go from the individual to the whole.
-
Scientific and Spiritual Dimensions of Artificial Intelligence
By
–
The Scientific and the Spiritual.
— Naval (@naval) 13 octobre 2024
(a thread, recorded on https://t.co/Ng4dOuJbQu) pic.twitter.com/kCudIWu4qaThe Scientific and the Spiritual. (a thread, recorded on https://
air.chat) -
Affective Empathy Missing From Foundation Models and AI Ethics
By
–
Affective empathy, a building block for morality, is missing from foundation models (and also missing from people with psychopathy). While I argued for it in 2014, I am similarly concerned about building it into machines. It means defining pain and linking it to physical function
-
Michael Levin on Intelligence Form Flexibility
By
–
Wise words (I agree): "I'm not particularly tied to this form. I don't see why anybody should be." – Michael Levin https://t.co/ikwcH0iJIK
— Marek Rosa | European🇪🇺 | South African🇿🇦 (@marek_rosa) 13 octobre 2024Wise words (I agree): "I'm not particularly tied to this form. I don't see why anybody should be." – Michael Levin
-
Preserving Human Values in AI: Leadership Responsibility
By
–
You're absolutely right, @BrainstormingN
! Preserving human values is indeed paramount as we navigate the #AI revolution. The "SkyNet" reference is a great reminder of why we need to stay vigilant. As leaders, it's our responsibility to ensure AI enhances rather than replaces our -
AI Pioneer Yann LeCun Says Current AI Dumber Than Cat
By
–
This #AI Pioneer (
@ylecun
) Thinks AI Is Dumber Than a Cat https://
wsj.com/tech/ai/yann-l
ecun-ai-meta-aa59e2f5?st=7cpWch
… via @WSJ @Mims -
LeanAgent: Lifelong Learning Agent for Formal Theorem Proving
By
–
Announcing LeanAgent: the first life-long learning agent for formal theorem proving in Lean. LLMs have been integrated with interactive proof assistants like Lean for theorem proving with 100% accuracy. So far, these LLMs are static, cannot learn new knowledge online, and
-
Are We Sleepwalking Into Advanced AI Futures?
By
–
I see we have much in-common in our thoughts about the future, @BrainBlenderTec
. Sometimes I wonder if anyone is really listening, if I'm writing for nothing about what's to come with more sophisticated #AI algorithms, or if we are all just sleep walking. Maybe it's easier to -
Elon Musk’s Optimus Robot: Humanity’s Greatest Innovation?
By
–
Voici le robot Optimus, présenté par Elon Musk comme la plus grande innovation de toute l’histoire de l’humanité. Certains diront ici avec arrogance : « C’est du marketing ! ». Je ne le crois pas. La réalité est que le monde change à vue d’œil. Sans nous.pic.twitter.com/J8LRz2LJRM
— Rafik Smati (@RafikSmati) 11 octobre 2024Voici le robot Optimus, présenté par Elon Musk comme la plus grande innovation de toute l’histoire de l’humanité. Certains diront ici avec arrogance : « C’est du marketing ! ». Je ne le crois pas. La réalité est que le monde change à vue d’œil. Sans nous.