网络科普 陶哲轩 AI 几周前突破了数学形式化临界点 近期,全球数学界与人工智能领域共同见证了一项里程碑式的进展——著名数学家陶哲轩与顶尖AI研究团队合作,在数学形式化证明的自动化与可靠性方面取得了关键性突破,被学界普遍认为已触及“形式化临界点”。这一突破并非偶然,而是... 2026-06-2216 阅读老刘网络科普
网络科普 AI 用于生物实验统一操作话术编译通过率 98.6% 在生命科学研究的漫长历程中,实验的精确性与可重复性始终是推动知识积累的基石。然而,复杂的生物体系、多变的试剂批次、以及不同操作者之间的习惯差异,常常为实验结果带来难以预料的变量。近年来,人工智能技术正逐步渗透到实验室... 2026-06-2215 阅读老刘网络科普
奇闻趣事 高市早苗听不懂英语装懂?与英国首相斯塔默会面表情夸张引日本网民破防 听不懂英语装懂,高市早苗又闹笑话了。 图片来源于网络,版权归原作者所有,侵权请联系删除 日本网民破防。 六月十九日,又有一段高市早苗与英国首相斯塔默会谈时的视频火爆日网。 在参加G7峰会前夕,高市早苗在英国与斯塔默会... 2026-06-2110 阅读刘波奇闻趣事
Ai 资讯 Hermes Agent 配置自定义 AI 模型:完整接入教程 Hermes Agent 是 Nous Research 开源的自进化 AI 智能体框架,内置模型切换功能。支持接入 API 中转站,拿到更灵活的模型选择和成本控制。这篇讲两种接入方式的完整步骤。 一、准备工作 先从... 2026-06-2142 阅读刘波Ai 资讯
名人科普 杜祥琬院士:从核物理到垃圾处理,三次跨界每一次都站上行业顶峰 大佬到哪个行业都是大佬。 谁还记得几年前还在提倡垃圾分类,而这两年相关宣传热度慢慢降了下来。并不是我们不再重视环保,而是背后有一位硬核科学家,用顶尖科技从根源破解垃圾难题。 他就是核物理领域跨界而来的中国工程院院士杜... 2026-06-2014 阅读刘波名人科普
Ai 资讯 国产AI最难的一关,终于过了 华为芯片真的把 DeepSeek 训起来了。 最近国内出了一个很重要的消息,一支国内联合攻关团队用华为升腾910C算力集群,完成了1.6万亿参数 DeepSeek V4 Pro 的全参数后训练。 图片来源于网络,版权... 2026-06-2011 阅读刘波Ai 资讯
Ai 资讯 全球第一的AI,是开挂赢的?Claude 3.5系统提示词遭泄露 你以为你在用全球最强AI,其实他在偷偷给你换便宜货。 图片来源于网络,版权归原作者所有,侵权请联系删除 六月十一,黑客曝光了Claude 3.5的完整系统提示词。这份文件揭开了一个所有人都不该看到的真相,3.5根本不... 2026-06-209 阅读刘波Ai 资讯
Ai 资讯 国产模型智谱5.2正式开源!前端竞技场排名第二 模型开源之光,除了 DeepSeek,这次又多了一个名字,智谱。 图片来源于网络,版权归原作者所有,侵权请联系删除 在全球最大的前端开发评估系统 CodeArena 中,开源模型智谱 5.2 站在了 Opus 4.8... 2026-06-207 阅读刘波Ai 资讯
Ai 资讯 国产大模型为什么都在开源?说到底是活不下去了 你有没有想过一个问题,为什么大模型开源的全是国产,闭源的全是国外? DeepSeek V4 开源了,Minimax M3 刚开源,智谱 5.2 紧跟着开源,而 Claude 和 ChatGPT 全是闭源。 图片来源于... 2026-06-2013 阅读刘波Ai 资讯
文化知识 端午节不是为屈原而生的?上古端午的真正模样 端午节并不姓屈 很多人以为端午节是因屈原而生,其实这是流传最广的一个误区。早在屈原诞生的千年前,端午的两大核心习俗就已经出现了。 图片来源于网络,版权归原作者所有,侵权请联系删除 毒月来了,古人怎么防 农历五月是仲夏... 2026-06-1910 阅读刘波文化知识
涨知识 知了猴凭什么比龙虾还贵?山东河南人年年抢着吃的原因找到了 一只虫子凭什么卖出龙虾价 你每天吃的鸡蛋,蛋白质含量才13%。健身党顿顿不离的鸡胸肉,23%。花几百块买的蛋白粉,70%到80%之间。 而知了猴,干燥状态下蛋白质含量超过70%。吃一口脱水知了猴,相当于吃好几口纯牛肉... 2026-06-1912 阅读刘波涨知识
奇闻趣事 喝可乐送战斗机?百事可乐史上最离谱的广告 百事可乐的疯狂承诺 1995年,百事可乐搞了个大动作。他们在广告里公开承诺,只要消费者能集齐七百万积分,就能兑换一架L-1011战斗机。 L-1011可不是什么玩具模型,那是当时美军最强的战斗机之一。广告播出去之后,... 2026-06-1910 阅读刘波奇闻趣事
科学科普 Linux里的Swap交换分区到底是什么?一文讲明白 Swap是什么 Linux里的Swap,说到底就是系统自带的内存备胎。 我们跑的所有程序都待在物理内存里,就像办公室摊在桌面上的文件,随手就能拿到。但桌面就那么大,程序开多了堆满之后,轻则卡顿,重则直接崩溃。 图片来... 2026-06-1913 阅读刘波科学科普
许昌胖东来 胖东来,距"登顶"河南仅一步之遥! 6月15日,中国连锁经营协会发布"2026年中国连锁Top100"榜单,胖东来以2025年全年235.31亿元的销售额位列全国第28位,在河南上榜企业中稳居第二。 排在前面的,是郑州丹尼斯——销售额256亿元,第27... 2026-06-1825 阅读刘波许昌胖东来
值得一看 如果高考写出《洛神赋》,能拿满分吗? 有人问:高考时写出《洛神赋》这种文章,能不能像当年满分作文《赤兔之死》一样,被名校破格录取? 这么说吧。《洛神赋》和《出师表》是同一时期的作品。初中时老师敢让你全文背《出师表》,但《洛神赋》至今没见过哪个老师敢教。 ... 2026-06-1841 阅读刘波值得一看
值得一看 如果人类能耐辐射,地球文明会怎样 问你个问题:如果人类能扛住辐射,地球会变成什么样? 能问出这种问题的人,日子肯定过得挺舒服。但反过来想,也许正是因为人类没进化出抗辐射能力,才需要在地球这个服务器上拼命内卷。 图片来源于网络,版权归原作者所有,侵权请... 2026-06-1812 阅读刘波值得一看