本文分类:news发布日期:2026/2/23 22:12:47
打赏

相关文章

联考题一则

题目大意 求满足 \(\sum b_i\le m\) 的正整数数列 \(b_{1\sim n}\) 的 \(\prod\limits_{i=2}^n\binom{b_{i-1}+b_i-1}{b_i}\) 的和模 \(10^9+7\)。 \(n,m\le 200000\) 题目解法 直接给出一个非人类的结论: 答案是 \((…

可验证AI:形式化方法在可控性证明中的应用

可验证AI:形式化方法在可控性证明中的应用 关键词:可验证AI、形式化方法、可控性证明、模型检测、定理证明、安全关键系统、人工智能可信性 摘要:当AI开始驾驶汽车、诊断疾病、控制核电站时,我们不仅需要它“聪明”,更…

空性主体与交往界面的生成:AI元人文的欧陆哲学转译

空性主体与交往界面的生成:AI元人文的欧陆哲学转译——从意义主权到数字交往理性的重建笔者:岐金兰(独立研究,人机协作)日期:2026年2月23日版本:欧盟版哲学专论摘要本文旨在将植根于中华文化思想…

手机版浏览

扫一扫体验

微信公众账号

微信扫一扫加关注

返回
顶部