设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文

博文

最新发表的博文| 推荐阅读的博文

科研笔记| 论文交流| 教学心得| 观点评述| 科普集锦| 海外观察| 人物纪事| 图片百科| 人文社科| 诗词雅集| 生活其它| 博客资讯|

[转载]不写代码也能做前沿研究？聊聊形式化 PDE 这个新方向: 王伟华 2026-4-11 22:55; 前几天，arXiv 上出现了一篇论文，标题很长： A formalization of the De Giorgi–Nash–Moser theory in Lean 4 。如果你不搞定理证明，可能会直接划走。但我建议你停一下——这篇论文或许标志着一个对 PDE 研究者真正有用的新方向正在成型。我不是 Lean 用户，代码一行没跑过。但读完这篇论文之后 ...; 174 次阅读|没有评论

IEEE Xplore数据库介绍与使用方法: 李升伟 2026-4-11 22:24; IEEE Xplore是一个学术文献数据库，由国际电气与电子工程师协会（IEEE）提供，是全球电气、电子、计算机、通信、人工智能等相关领域最权威、最核心的学术资源平台之一。一、IEEE Xplore 包含什么？简单来说，它就像一个电子工程和计算机领域的“数字图书馆”，核心内容包括：期刊/杂志：IEEE旗下的所 ...; 324 次阅读|没有评论

FDA再次“否决”？溶瘤病毒“全村希望”到底输在哪: 刘玉娥 2026-4-11 20:23; FDA 再次 “ 否决 ” ？溶瘤病毒 “ 全村希望 ” 到底输在哪欢迎关注公众号“凤凰涅槃之路” 今天是 2026 年 4 月 10 日，原本是生物技术界翘首以盼的日子。根据此前 FDA 设定的 PDUFA 目标日期，今天本该是 Replimune 公司的溶瘤病毒疗法 RP1 （ vusolimogene oderparepvec ）获批上市的 ...; 286 次阅读|没有评论

i*i=1 又如何: 韦玉川 2026-4-11 20:07; 定义虚数i 满足i*i=1，那么（a+bi）(c+di) = (ac+bd) + (bc+ad)i exp(ix) = 1+ ix+ (ix) 2 /2！+(ix) 3 /3！+... =1+ x 2 /2！+... +ix +ix 3 /3 + ... =ch x+i shx 根据 exp(ix)exp(iy) =exp(i(x+y)) 知道（chx+i shx）（chy+i shy） = ch(x+y)+i ...; 193 次阅读|没有评论

人机环境系统智能：构造bit与token之外的智能: 刘伟 2026-4-11 19:02; 目前人工智能发展的核心瓶颈与未来方向是一致的，简单地说，“人机环境系统智能”正是为了突破仅由比特（bit）和词元（token）构成的“数字智能”的局限，旨在构建一种根植于物理世界、融合了人类价值的、更高级的系统性智能。大家可以从“为何需要超越”以及“如何构建”两个层面来理解这一概念。一、为何需要超越Bit ...; 1105 次阅读|没有评论

AI终于像个真人了: 许培扬 2026-4-11 18:18; AI交互的「机械感」消失了！今天，豆包甩出原生全双工语音大模型Seeduplex，不仅能边听边说，甚至能听懂你在思考时的「卡壳」，就算环境再吵也不怕，抗干扰能力直接拉满。 https://mp.weixin.qq.com/s/Xe53jscnOyxXbMZNoq18uA 飞花令快问快答，逼它「秒回」接下来，上一个更硬核的「 ...; 276 次阅读|没有评论

本体论与AI分析的未来: 许培扬 2026-4-11 18:07; 本体论：让AI真正听懂你的业务语言 https://mp.weixin.qq.com/s/PVhTZmYlG3uuFUDc1zMeaQ 没有本体论，AI就像只懂单词但不懂文章的外语初学者，在处理复杂业务时容易“掉链子”，具体表现为：误解指令，答非所问当您说“查一下上个月的客户”，AI可能无法区分您指的是“签合同的客户公司 ...; 266 次阅读|没有评论

[观察，科普，数学] 素数（31）：黎曼 Riemann 素数计数函数“端点效应 end effects”的两个特点: 杨正瓴 2026-4-11 16:49; Yet, in fact, as I shall show here with very good reasons, the properties of the numbers known today have been mostly discovered by observation, and discovered long before their truth has been confirmed by rigid demonstrations. ——Leonhard Paul Euler ...; 214 次阅读|1 个评论

教程与教材、教科书是什么关系？: 刘新建 2026-4-11 16:30; 最近非常喜欢用AI搜索获取一些知识，尽管经常发现其答案错误。今天忽然冒出教程与教材、教科书是什么关系的问题，就又用百度文心查了一下，结果如下：教程、教材与教科书是教育领域中相互关联但存在层级差异的概念，其关系可概括如下：一、教材与教科书：包含关系 1. 教材（广义） l ...; 375 次阅读|没有评论

12 3 4 5 6 7 8 9 10 ... 25517 下一页

会议

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2026-4-12 04:33

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部