2026/10/4 9:27:46
OpenAI Astra 模型 249 页论文遭学术不端指控:从 Lean 形式化到 API 复现的验证路径
/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …