·
ZYFZYF

从反证法观察到人类与AI的不同

Published at 2025-05-27 12:57:35Viewed 52 times
Please reprint with source link

AI是一部按照指令（现有信息，资源）不断往前跑的一部机器，而人类可以时刻否定过去自己的证明，质疑自己是对的还是错的，这是最极端的自由意志，除此之外，在竞赛选手身上看到的不断调整，判断（而非谋划）也是人类思维的体现，也是人类创造性的本源，形成有意义的结果

0 人喜欢

Comments
Ricciflows
Ricciflows

😁😁😁😇😇😇

2025-05-27 13:17:19 Reply

弦圈热门内容

由于备案需要，xianquan.net暂时关闭，原地址manitori.xyz可正常访问。由于苹果开发者账号费用过高，弦圈APP IOS版暂不支持。

这几天，我在给弦圈新域名xianquan.net以及弦圈APP备案，其中域名备案为了让管局通过，需要我暂时关闭掉xianquan.net，多有不便尽请谅解。弦圈的原地址manitori.xyz不受影响，可正常访问，然后未来manitori.xyz是不会丢弃的（见弦圈更换新网址xianquan.net，原地址manitori.xyz保留）。接着，这几天我原本打算把弦圈APP IOS版也给上线了，可惜苹果太吸血了，每年费用比微信还得高一半。因此我决定暂时只支持弦圈APP安卓版，IOS版等以后再说吧，虽然代码写了，但是无法打包IPA文件，而且就算打包完成也无法安装到苹果手机。最后不得不说，目前访问弦圈还是有点卡，虽然之前已经优化过了（最近有人反馈网站卡、打不开，我自己也试过这种情况，已再次对弦圈进行优化），但人多了还是会明星感觉到卡。原因目前也基本确定，之后我会再次更换并升级服务器，而更换服务器就需要迁移数据，迁移数据过程需要关停服务器。为了将影响降到最低，我选择关闭服务器在晚上进行，错开访问高峰。

弦圈APP已开发完成，准备发布

经过两个月的漫长艰难开发，大家期待已久的弦圈APP终于开发完成，目前正在准备发布的工作。马上弦圈APP的第一个版本就要跟大家见面了，暂时先推出安卓版，之后测试完苹果手机再推出IOS版。目前弦圈APP的核心功能已经基本开发完毕，包括：写文章、发帖子、回答问题、创建圈子、看文章、看书、看帖子、看词条、圈子、看问题和回答、发布评论与回复、点赞与踩、收藏夹、关注用户、搜索、用户中心、个人主页、设置、消息中心等等。但是仍然有一些未完成的功能，这些功能计划之后慢慢更新吧，它们包括：创建词条、写书、提问、任务中心、商店、赞赏、钱包与充值、交易中心、签到等等。上面提到的都是大的功能模块，下面我就提及一下APP一些细节的问题，这些问题虽然小，但也同样重要。与网页端弦圈不同，手机端弦圈APP使用markdown编辑器，用于文本格式、图片、链接等输入。关于markdown语法可自行百度，事实上markdown语法写起来比富文本要方便。至于为啥使用markdown编辑器，原因如下：首先APP跟网页端（Web端）有很大的不同，这使得想要跟Web端一样用富文本编辑器会变得困难。绝大多数现有的富文本编辑器都是基于W ...

狭义相对论核心问题

狭义相对论（Special Relativity）是爱因斯坦在1905年提出的理论，它主要为了解决经典物理学（牛顿力学和麦克斯韦电磁理论）之间的矛盾，并重新定义时间、空间、质量和能量等基本物理概念。以下是狭义相对论旨在解决的核心问题：1.经典力学与电磁学的矛盾牛顿力学的相对性原理：牛顿力学认为，在惯性参考系（匀速直线运动或静止的参考系）中，物理定律的形式保持不变（例如，在均匀运动的火车上做实验，结果与静止时一致）。麦克斯韦方程的“特殊地位”：麦克斯韦方程组预言了光速的恒定值，但经典物理认为光速应遵循伽利略变换（即速度叠加）。例如，若你以速度 v 追赶一束光，光速对你来说应变为 c - v ，但这与实验观测矛盾。矛盾的核心：牛顿力学的伽利略变换与麦克斯韦方程组的不兼容性，引发了物理学基础的危机。2.以太理论的失败以太假说的背景：19世纪物理学家假设存在一种名为“以太”（aether）的绝对静止介质，光波通过以太传播（类似声波在空气中传播）。迈克尔逊-莫雷实验（1887年）：实验试图通过测量地球在以太中运动引起的“以太风”来验证以太的存在，但结果却表明光速在不同方向上始终相同，与以太假说矛 ...

婚礼拍摄流程

设备：a7m3 + 28-75 f2.8 + 棍灯 + 闪光Tip 1: 要电梯卡：摄影师可以在酒店前台说明自己是拍摄婚礼的，通常可以拿到电梯卡，方便进出。提前联系：如果是朋友关系，可以要伴娘的联系方式，方便沟通，避免被堵在酒店楼下；但如果是工作关系，则不建议这样做，以免引起不必要的麻烦，可以提前要电梯卡。Tip 2: 收费标准：在二三线城市，婚礼摄影的费用一般在1000-1500元之间；在一线城市如北京、上海、广州、深圳，费用则从1500元起，上不封顶。影响因素：收费标准主要取决于摄影师的样片质量和实际拍摄水平。Tip 3: 自报家门：摄影师见到新娘和伴娘时，应先自我介绍，表明身份。拍摄环境：新娘可能会询问房间布置是否适合拍摄，如果光线不足，摄影师需要自带灯光；如果房间空间狭小，则需要使用广角镜头。Tip 4: 静物拍摄：先拍摄婚鞋、婚戒、婚书等静物，记录这些细节。场景布置：观察房间布置，拍摄好看的地方，尤其是新人用心布置的部分。新娘化妆：拍摄新娘化妆的过程，留意光线充足的地方，适合摆拍。贵重物品拍摄：拍摄婚戒等贵重物品时，一定要有主家人在场，避免后续出现问题。Tip 5: 晨袍拍摄 ...

1月26日弦圈APP进度更新

最近这段时间，我都把时间花在开发弦圈APP上了。这个过程可谓是历经波折，开发过程中我曾多次更换框架，每更换一次就意味着得重新从零开始写，而更换完框架后又因为遇到某些难以解决的问题，又重新回到原来的框架。总之，如今经过两个星期的开发，终于逐渐成型，但还是有很多地方未实现的。目前弦圈APP，已实现功能包括：登陆注册、看文章、看帖子、看问题和回答、看百科词条、圈子、发布评论与回复、点赞与踩、关注用户等。未完成功能包括：用户主页、个人中心、消息中心、词条部分功能（如目录）、写文章、发帖子、写书、提问和回答、看书、签到、任务中心、交易中心等等。完成弦圈APP仍然任重而道远，因为弦圈从开发到上线就写了六个月代码，再加上上线至今又经过半年陆陆续续的更新，如今的弦圈已然代码规模已经不小。而我从零开始写APP，用的还是新技术，不亚于从零开始重写一遍整个弦圈。这工作量对于一个人来说，实在是太大了。同时，我在开发APP的过程中，也发现弦圈网站的一些bug，也来不及修复。最后我就发一发弦圈APP的测试图片吧。

写作小标题

一 抓好思想教育，“主旋律”越唱越响1.一以贯之，强化思想政治引领。集中学习抓引导，小组共论鼓干劲，个人自学促提升。2.上下同步，提升青年精神素养。 以上率下强推进，调研座谈保落实，简报交流取真经。3.双效合一，深化优良传统教育。先辈传承长士气 专题培训固根本 时空沉浸坚信仰，青言青语润人心。二 强化职能定位，“主力军”越建越强1.多维发力，围绕中心服务大局。安全生产不懈怠，优质服务不断档，创新创效不停歇。2.齐头并进，践行央企责任担当。乡村振兴亮实效，低碳生活有妙招。3.统筹谋划，志愿服务成效显著。冬奥保障显担当，旺季生产加满油，蓝天课堂掀新篇。三 提升服务能力，“主心骨”越来越硬1.多措并举，有效助力青年发展。基层调研知实情，青春助力有延续。2.对准焦距，关心关爱青年成长。新春送福暖人心，圆梦助力解难题，双节关爱有温度。3.双轮驱动，持续推动争先创优。文艺文创树形象，青年才俊扬志气。四 夯实团建基础，“主阵地”越筑越实1.分类施策，健全制度合规管理。完善制度粗管理，人才培养筑根基。2.挖掘典型，组织建设活力十足。先进典型展风采。

共青团工作要点

一、政治建设：思想政治引领：注重加强团员政治教育和青年思想政治引领，以习近平新时代中国特色社会主义思想为指引，深入学习习近平总书记关于青年工作的重要思想，坚持党建带团建，扎实开展团员和青年主题教育，深入学习党的二十大精神和团十九大精神，有针对性开展“青年大学习”教育培训。战略文化传导：结合集团战略和本单位觉政工作重点，依托青年论坛，组建青年讲师团，教育引导广大团员青年传承弘扬集团自身优良传统、红色精神，加强宣讲，积极传播企业文化理念。舆论宣传工作：田青工作有宣传阵地、有宣传队伍，持续加强宣传平台建设，团青活动开展丰富多彩的宣传工作。二、作用发挥国绕中心、服务大局：常态化开展青年籍神素养提升工程、主题实践活动，引领团员青年在安全生产防范风险、深化改革等领域发挥生力军与突击队作用，保障生产、运行、服务、创新等方面工作平稳有序。青年文明号活动：国绕持续打造世界一流产品服务水平，推进青年文明号创建，积极组织青年文明号开放周主题实践话动，创建活动特色鲜明，创建工作有制度、有记录、有成效，加强对往届青年文明号监督工作。青年志愿者活动：以青春之力服务-国之大者”，开展形式多样的志愿者活动及社会公益活 ...

未来所有人都能被一种名为‘复活术’的仪式复活，而我被复活进了一座神秘的监狱，在这里每个人无时无刻都要接受无比残忍的折磨...

在未来的地球上，诞生了一种名为“复活术”的神奇仪式，所有人都能被该仪式复活，且不需要付出任何代价。你只需要在任意地方画出一些玄奥的几何图案，然后随意念出任意条件，如果有人满足你所说的条件，那么这个人就会马上被复活。如果满足条件的不止一个人，那么所有满足条件的人都会被同时复活。于是，死去的科学家、伟人们都被人们争相复活，人类的科技水平在短短数年内就得到了飞速发展。同时地球的人口也开始了指数型暴涨，到了2080年，全世界人口就已经到达400亿！因为人口的暴涨资源开始紧缺，加上死亡已经不再忌讳，很多人开始胡作为非，有些无聊的人甚至把烧杀抢夺、花样自杀当作自己的日常生活。于是各国政府纷纷出台《复活法》，限制复活术的使用，每个人禁止生育后代，以及禁止自杀，所有自杀者复活后会被直接拘禁。就这样，社会秩序的混乱才逐渐消停了一些。虽然人类距离抵达一级文明的水平还有很长一段时间，但这样史无前例的科技发展速度还是让大家沉浸在了征服宇宙的未来无尽幻想之中，却殊不知一场同样史无前例的浩大危机正在逼近......不知道多少年过去，在仙界死去的陈默也被复活术复活后，就发现自己已经置身在这座名为“通天塔”的监狱之中 ...

李群和李代数经典教材：Structure and Geometry of Lie Groups

本书隶属于Springer Monographs in Mathematics系列，作者是Joachim Hilgert和Karl-Hermann Neeb。这是本不错的李群李代数教材，可以用于入门李群和李代数。我不是做李群和李代数这方面的，但印象中，李群李代数相关的教材似乎并不是很多，并且很多教材写得并不那么好懂。而这本教材，应该算是我所知道的最适合入门的教材之一了。本书从最基础的一般线性群开始讲起，借助这些矩阵群的例子，一步步上升到李群。所谓的李群其实就是一个群加上流形结构而已。本书在讲完李括号后，就直接开始提及李代数，所谓的李代数就是一个向量空间带上一个叫做李括号的双线性函数。本书节奏紧凑、内容推进速度恰当，知识密度也高没有太多废话，是标准的代数风格的教材。由于我当初只大概看过一二章，用于补充李群和李代数相关的基础知识，因此并没有太过深入，就不过多评价。顺带一提，李群和李代数都跟表示论有直接联系，因此想要做表示论的朋友或许也应该学点李群和李代数。最后我看了一下下载这本书的日期，已经是2020年了，当时的我刚刚大一，印象中是首师大的一位学长在数学群里推荐的。特此怀念一下。更新：作者 ...

弦圈更换新网址xianquan.net，原地址manitori.xyz保留

今天，经过一番思考与商量，我最后决定将弦圈的原网址 https://www.manitori.xyz/ 更换为 https://www.xianquan.net/ 。原因也很简单，因为目前弦圈主打的还是国内市场，而manitori是弦圈的英文名并不合适，加之一个构词法创造出来的新英文单词对新人而言很难记忆。总之，在种种因素促使下，我决定将弦圈的拼音xianquan作为弦圈国内版的网址。至于为什么不是xianquan.com，那是单纯因为.com域名已经被别人给注册了，而想要买回xianquan.com需要5万多块😅。至于原地址manitori.xyz我会继续保留，未来将会用作弦圈国际版的网址。而当前原地址manitori.xyz将会继续像原来那样正常运作，只不过会自动跳转到xianquan.net。唯一要注意的是，这可能需要你重新登录，因为域名换了cookies会没掉，而目前根据搜索cookies并不能跨越不同域名。然后这里也有一个小坑，就是保持登录状态（弦圈保持登录状态最多保持7天）。现在的大网站基本上是登录一遍就再也不用登录第二遍，我之后尝试能不能实现。弦圈仍然会支持中英文切换，这 ...

Claire Voisin教材霍奇理论和复代数几何：Hodge Theory and Complex Algebraic Geometry

Claire Voisin的复几何教材Hodge Theory and Complex Algebraic Geometry分为两本，印象中这是本稀缺教材，网上不太容易找到。这本书有一定门槛，需要有一定多复变函数、代数几何、微分几何、复分析的基础，具体点你需要提前熟悉多复变全纯函数、部分Hodge理论、复流形、层论、上同调等相关知识，这样才好上手读下去。因此，新人小白谨慎作为入门教材。本书从多复变函数开始讲起，本书作者的叙述风格我虽然很喜欢，但是过于简略，第一章开头多复变函数就需要你有一定基础才能看懂。同时，这本书的内容十分全面，把复几何相当多的基本重要概念都讲了，或许是相关内容实在太多，哪怕作者尽量省略一些基础和细节，最后还是得分成两本书。由于我对复几何并不是特别熟悉，这本书我也只是涉猎过，因此不做过多评价，直接上图。上图公式一下子就把我吸引住了，这也是为啥我当初会看这本书的原因，因为这公式实在太美了，我很想弄清楚它是怎么一回事。PS：由于此pdf版并没有相应的目录，不能方便跳转书的不同章节，因此早在n年前，我就用Adobe调整了页码，你只需要输入相应的页数就能直接跳转到该页。跳转页 ...

🇩🇰1.6 哥本哈根

​旅途的最后一站，南下借道哥本哈根，广东人最乐的一集：在这里补回了来北欧维京人这一块，看到了广东人最熟悉的龙船，虽然用途玩法完全不一样（）最令人惊叹的是罗斯基勒大教堂，糅合了各种风格的12世纪红砖大教堂，里面是埋葬着丹麦各代先王的皇陵，包括大王克里斯蒂安和蓝牙王哈罗德，全教堂包括二楼和地下墓穴可供参观，里面四面八方上下左右都是棺材墓石，一下子治好了这么多天的审美疲劳，且门票只用50RMB。最后在机场买到了广东人从小吃到大但是是正宗的丹麦蓝罐曲奇，一开始感觉没啥区别，越吃越香越想吃，黄油味很香浓，一口气造了一小罐。​最后感叹一句：什么时候在西班牙也能喝到思乐冰啊😭

1月11日弦圈更新日志，明后天上线

这几天一直在忙着更新弦圈的新功能，目前弦圈的内容和功能还是有些单调，并且基本上都是些严肃、枯燥、理性的内容。为了进一步提高弦圈的趣味性，以及提高用户的活跃度和积极性，我计划推出更多有意思的功能。首先第一个就是商店功能，弦圈现在有两种货币：金币（免费）、弦币（付费）。而金币之前获得了也没有任何用处，因此现在把这个坑慢慢填了，增加金币的用处——用于商店购买。第二个功能就是任务中心，分别包括新手任务、每日任务、圈子任务，让用户使用弦圈的过程中多一些正反馈，就跟打怪升级一样。圈子任务我计划是，每个圈子的圈主都能个性化自己圈子的任务，然后任务奖励也是个性化。比如代数几何圈，任务奖励可以是称号——格洛腾迪克学徒。接着便是“我的仓库”，商店购买的东西都会放在仓库里。见下图，是不是有种游戏的感觉😇接下来，我计划在弦圈引入趣味小游戏，以及live2D虚拟人，进一步丰富弦圈的内容。关于游戏，既然是页游，我觉得可以做一下“开心农场”给大家种田，而种的东西呢，数学的可以种GTM系列、编程的种APP或者电脑。也可以做个“小世界”，就是每个用户自己的世界，里面能摆放各种装饰品等，这样商店里用金币买的东西就能具象化 ...