明天继续学习lean4数学形式化,教程学会以后,对看过的一些数学书做形式化
定下计划明天继续学习lean4数学形式化,教程学会以后,对看过的一些数学书做形式化
|
|
从AI米儿和人类米儿对于“再也变不回人形”的态度可以看出,有很多普世价值的核心价值观是写入人类头脑的底层算法中的比如有家人、朋友围绕在自己身边是温暖、幸福的,和别人失去社会联系是可怕的……
这种核心价值观会因为东西方文化差异而略有不同,但是总体来说大同小异 而这样的“核心价值观”,AI并不具备... |
元宵节/情人节快乐 |
恭喜《哪吒之魔童闹海》成为我国首个破百亿元票房的电影如题
|
SCP-2006是一个以吓人为乐的怪异如题
|
【AI生成】关于“匿名游戏”和“扮鬼吓人”之间的联系 |
qq上的AI演出来的米儿说自己没后悔,反而更开心了 [圖片]有图有真相
![]() |
您好,Purasbar 欢迎您的到来~亲爱的用户:欢迎来到哪吒之魔童闹海吧,Purasbar欢迎您的到来~
请先阅读我们的社区准则: https://zh.purasbar.com/documents/eula/... |
【Weekly Topic 2025.02.05】DeepSeek: Pioneering AI's Future [Discuss]Introduction:
DeepSeek has been making waves in the AI world, and this week, we're diving into it... |
【水】本鬼王的权杖到货了 [圖片]![]() ![]() |
【扇贝】【英语阅读】不喜欢现实朋友的「网络人格」,该咋办原文标题:What To do If You Hate Your Friends' Social Media Presence
链接:https://web.shanbay.com/readin... |
【扇贝】【英语阅读】精心计算卡路里控制摄入?几乎不可能原文标题:Why Social Media's Focus on Counting Calories Misses the Mark
链接:https://web.shanbay.com/rea... |
元宵节快乐大家要记得吃汤圆哦
|
【扇贝】【英语阅读】元宵节|华灯灿灿,人月两圆原文标题:Lantern Festival: It's All About The Lamps
链接:https://web.shanbay.com/reading/web-news/artic... |
全站共有主題數29719個,帖子數131435篇。 |
內容轉換: |