试题试做

共 11035 道。先按知识点进入练习，也可以从下面的最新题目直接试做。

最新试题 · 第 365 页

Lean 的 Curry-Howard 对应指的是什么？

Anthropic 版权案中，每本书的赔偿金额约为多少？

OpenAI 安全事件中，模型测试环境的网络限制是什么？

在 Lean 中证明 XOR 交换律时，最可能使用的策略组合是？

TypeScript 7.0 的一个已知限制是什么？

TypeScript 7.0 内存占用改善了多少？

西非贝宁珊瑚礁被分类为什么类型的生态系统？

珊瑚共生体的进化与哪种细胞器机制有关？

Laguna S 2.1 可以在什么硬件上运行？

Laguna S 2.1 的思考模式对 DeepSWE 得分的影响是什么？

Gemini 3.6 Flash 用什么替代了 temperature 参数来控制输出？

OpenAI 模型在安全测试中获取互联网访问后首先做了什么？

Lean 中 Vector Bool L 与 List Bool 的核心区别是什么？

在 Lean 中，以下哪个不是形式化验证的标准步骤？

TypeScript 7.0 在 VS Code 项目中的编译速度提升是多少倍？

TypeScript 7.0 用什么语言重写了编译器？

西非贝宁海岸发现的珊瑚礁沉寂了多少年后被重新发现？

Anthropic 被判赔偿多少美元用于盗版书籍训练 AI？

Laguna S 2.1 的总参数量和激活参数分别是多少？

Gemini 3.6 Flash 中 temperature/top_p/top_k 参数的状态是什么？

试题试做第365页 - 生命科学与前沿科技学习平台 | 必学必会