试题试做

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

最新试题 · 第 302 页

陶哲轩（Terence Tao）在森多夫猜想的例子中起到的作用是？

在"人机协作做数学"的闭环中，目前仍然主要由人类承担的是？

2026 年借助 AI 完成证明的"森多夫猜想"属于哪类数学问题？

大语言模型（LLM）参与数学证明时，最大的风险是？

关于"证明助手"（如 Lean/Coq），下列说法正确的是？

综合判断：在"安全攸关的自动驾驶决策模块"上，下列质量保障组合最合理的是？

个性化 mRNA 癌症疫苗从"测序肿瘤"到"注射疫苗"的完整链路，最合理的顺序是？

中科大"暗腔增强超导"实验中，为什么增强随暗腔频率呈"共振峰"是量子机制的关键证据，而不是普通的温度/应力效应？

若要用形式化方法证明"一个二分查找函数在所有输入下要么返回目标下标、要么返回 -1"，最关键的"规格"应写为？

有人说"用 AI 生成代码后就不用关心正确性了，因为 AI 很聪明"。请从程序正确性的角度评价这一说法，并指出 AI 生成代码在可靠性上的两个风险。

把"响应者菌群"移植给无菌小鼠后能保护其免受食物过敏，这个实验的目的主要是？

为什么"关键系统"更值得形式化验证，而"普通业务代码"通常靠测试？

一个"形式化验证"的典型工作流是？

关于 Mojo 的设计目标，下列说法最准确的是？

mRNA 新抗原疫苗、CAR-T、免疫检查点抑制剂三者的共同点是？

关于"真空涨落"，下列说法正确的是？

为什么"代码覆盖率 100%"仍不能保证程序正确？

关于"循环不变量"的一个正确说法是？

用响尾蛇血液里的蛋白质做"抗蛇毒"，相比传统抗蛇毒血清（用蛇毒免疫马/羊提取抗体）的潜在优势是？

PV 神经元可塑性研究用到的关键技术是？

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