“证明是数学家用来使自己相信的东西；严格证明则是用来使别人相信的东西。” 最近几天，从数学界到普通媒体，都在流传着一则吸引眼球的消息：OpenAI的研究系统成功发现了一种新的数学构造，并利用这一构造建立了一族反例，从而推翻了一个与单位距离问题相关、存在了数十年的埃尔德什（Erd?s）单位距离猜想。随着OpenAI原始证明以及NogaAlon、TimGowers等数学家[阅读全文]
闲笔涂鸦
见猫画虎，听风涂云，品茶梦酒，忙中偷些小乐趣。
博文
(2026-06-02 17:54:19)
“证明是数学家用来使自己相信的东西；严格证明则是用来使别人相信的东西。” 最近几天，从数学界到普通媒体，都在流传着一则吸引眼球的消息：OpenAI的研究系统成功发现了一种新的数学构造，并利用这一构造建立了一族反例，从而推翻了一个与单位距离问题相关、存在了数十年的埃尔德什（Erd?s）单位距离猜想。随着OpenAI原始证明以及NogaAlon、TimGowers等数学家[阅读全文]
(2026-05-26 11:55:40)
数学史上有些猜想，是在几十年积累的证据与推导之后，自然而然浮现出来的，它们几乎像是“迟早会被写下”的结论。但也有另外一种猜想，更像是一种直觉性的冒险——一种在缺乏明确依据时，对世界深层结构所做出的大胆预言。法国数学家米歇尔·塔拉格朗（MichelTalagrand）在1995年提出的凸性猜想，就属于后者。 后来，Talagrand曾坦言，这个猜想几乎[阅读全文]
(2026-02-03 15:00:24)
向大家推荐一本我为一位同学出版的、近百万字的个人回忆录。PDF免费下载链接：www.78621.org/downloads/XYZ-Bio.pdf虽然我们是大学同班同学，但他比我年长十余岁，大家快不属于同代人了。不过，我对他们的经历还能够有足够的理解，在学校也一直很密切。所以在协助他编辑这本回忆录的过程中，他的很多回忆都可以勾起我自己对那些时间里的人和事的记忆与感受。下面是我为他的[阅读全文]
(2025-06-14 23:23:23)
这几天收拾一些东西，无意中又翻到一些父母留下的物品。捧在手中，好像有什么缓缓涌上心头，又轻轻散开。然后，又是那种已经有些熟悉的空虚。 心里还是难以接受再也见不到他们了，再也不能和他们说几句话了。站在他们曾经的房间里，站在记忆的边缘，我看着他们的负重而行，看着他们的笑言欢语，再看着他们慢慢远去的背影。身处他们身后留下的一片虚空，说不[阅读全文]
(2025-03-22 22:12:45)
(2025-02-24 20:52:15)
昨晚半夜醒来一下睡不着，在ChatGPT上留了几句语音，让它给我整理一下。结果它给我一点小小的意外。
ChaptGPT以第一人称我和大家交谈不足为奇，但是昨晚它第一次对我用了我个人（ChatGPT)建议这样的句式。不知道其它人有没有这种经历，但这应该是它第一次这样和我对答。
不谈人工智能的自我意识能否成真，何时能够成真，至少大家有共识，它到现在一直都还没有自我[阅读全文]
(2025-02-22 00:52:57)
下面是我多年前在计算机上画的一幅小画，用了版画的形式。山月清冷，万籁俱寂，时空缥缈，岁月无痕。那时候说用计算机画画和今天说用计算机画画，含义可能相差十万八千里：那时候计算机最多不过就是个画板，一笔一划还得人来画。
《山月无声》 或许是因为曾经长期生活在嘈杂的环境里，我对安静总有一种特别的敏感。 中小学时期，我主要生活在成都的一[阅读全文]
(2025-02-14 10:15:12)
人工智能在近几年的飞跃进步引发了广泛讨论，尤其是当ChatGPT、Claude等大语言模型展现出惊人的自然语言处理能力时，人们逐渐意识到，人工智能不再仅仅是冷冰冰的计算工具，它已经能够模拟人类思维，甚至在某些方面超越人类的认知系统。最近，DeepSeek更是让人们兴奋不已，似乎在有限的算力和有限的训练资源环境下，人们也可以开发出与依靠庞大算力和海量数据资源[阅读全文]
(2025-02-08 12:24:08)
(2025-02-08 11:57:43)
昨天在这里贴了我母亲回忆我外婆的《我的母亲》里的一小段文字。现在我把她的那一段全文贴在这里。里面的照片大都是母亲生前整理的。我现在看这些照片很难不伤感，因为里面的长辈大多都走了。我父亲在祖屋前的照片是他生前最后一次回去照的。我曾经许愿再陪他回去一次。但是没能兑现。 关于逃难这一段，后面照片里的长辈现在只有一个表舅还在。看了母亲这段[阅读全文]