欢迎在定理区撰写 Lean 证明脚本： 所有代码块均会被识别为 Lean 代码并高亮显示； 每个代码块右上角都会出现 [*]“复制代码”按钮 [*]“在 Lean 在线 Playground 打开”按钮，即可在浏览器中分步检查、运行你的证明！ 由计算机检查每一步推理，杜绝人为疏漏。 如何开始？在编辑框输入三个`号，粘贴或编写你的证明脚本；
论文：https://dl.acm.org/doi/pdf/10.1145/3209280.3209522
一、什么是DeepSeek-Prover-V2-671B？ DeepSeek-Prover-V2-671B是一个具有6710亿参数的Mixture-of-Experts大型语言模型，由DeepSeek团队基于DeepSeek V3架构开发，专为形式化数学定理证明任务优化。 该模型在每次推理中从256个专家中激活8个专家，并支持FP8和BF16两种数值精度，以在保证性能的同时减少计算开销。 其上下文
确保 Windows 系统已更新到 ≥ 11.2504.52.0[*]“记事本（Notepad）”界面顶部新增格式化工具栏，可对选中文本或输入内容一键应用 加粗、斜体、超链接、无序/有序列表、各级标题等，所见即所得，无需输入 `**`、`*` 等标记。 [*]如需查看 Markdown 源码，可点击在“查看”菜单或右下角状态栏切换按钮[*]清除与禁用 可通过格
MathJax v4.0.0-alpha.1 has pre-released https://github.com/mathjax/MathJax-src/releases This is the first alpha release of a major update to MathJax, adding a number of new features and enhancements. As this includes significant changes that involve potentially breaking changes, in order to not have
<h2>光学字符识别(OCR/Optical Character Recognition)</h2> 假设您在屏幕或一张纸上写下您想要识别的内容,首先,您需要表示墨迹,使它适合计算机处理.有两种常用方法:光学字符识别和数字墨迹识别. 使用光学扫描仪或照相机扫描书写的页面会产生位图图像,即像素阵列.每个像素代表所捕获内容的一部分.OCR应用程序分析图像,从这
Go to https://google.com/aimode Alternatively, go to google.com, enter a search query, and tap AI Mode below the search bar.[hr] Jun 17, 2025 Gemini 2.5 Pro has officially transitioned from a preview version to a stable version. Google says Gemini 2.5 is stable and ready for developers to build on.
https://huggingface.co/datasets?other=mathematics https://huggingface.co/datasets?other=aimo https://huggingface.co/datasets?other=math https://huggingface.co/datasets?other=math-qa https://huggingface.co/datasets?other=chinese-math-qa AI‑MO/NuminaMath‑CoTAn 860K‑problem collection with chain‑o
闲来无事，给MathType党撸了这么一篇东西
https://matplotlib.online 界面类似于 Overleaf，但完全在浏览器中运行，无需服务器
如题，页面上如果有一串看起来像电话号码的数字，浏览器就会自动添加链接，点击就能拨打。 但它会影响到公式，有时公式的系数就是一长串数字，添加的链接就会影响 mathjax 的渲染。 例：[inlinecode]$ 1234567 x^2 + 123456789 y^2 $[/inlinecode] 显示：$ 1234567 x^2 + 123456789 y^2 $ chrome 上看正常，Safari 看就会
Desmos 或 GeoGebra 有自己的键盘但是键盘上没有粘贴，且无法使用系统键盘 ，因此无法在移动浏览器上使用 Ctrl+V 粘貼
如何创建一个可折叠的内容块
就算现在行，未来随时不行。 就像当年Imgur能看，现在就不能看，这难以预测，完全看墙的心情。 所以尽量别用外链
robbobbinett/18.721将图形集成到 Michael Artin 教授为麻省理工学院代数几何课程 (18.721) 编写的课程笔记中 nataliesstewart/Artin-figures nataliesstewart/New-artin-figs被描述为“Artin 图形，第二轮”，似乎是 Artin 图形的延续或相关工作。其构成还包含大量 TeX 和 Mathematica 两者之间可能存在关联，第二个存储
<a href="https://gist.github.com/ronfe/a9f3c72ccbdeb75d0de1210493d56aad" target="_blank">https://gist.github.com/ronfe/a9f3c72ccbdeb75d0de1210493d56aad</a> 这个是什么？<h1>Project Kibana</h1> <h2>Catalog</h2> <h3>Shapes</h3> <ul> <li>A / No shape</li> <li>B / Triangle</li> <li>C / Quatro</li> <li>D
MSE 允许任何用户下载全部的帖子内容😀 可以通过每个站点的“设置”页面下载数据转储。可以在线查看和查询其版本（每周更新）
https://github.com/lark-parser/lark/blob/master/docs/json_tutorial.md#part-1---the-grammar 使用Extended Backus-Naur Form (EBNF)来描述上下文无关文法 Context-Free Grammars (CFG) ENBF定义了符号串生成非终止符的规则。 用Lark解析器创建一个LatexValidator类来验证LaTeX语法
例如一个法文的网页，我用 Chrome 自带的 Google 翻译，发现它把 MathJax 数学公式也改动了，$A_5$ 竟然变成 $H_5AS$，还得对照原文去看。有没有办法可以让 Google 翻译不改动 MathJax 公式呢？
开源问答Apache Answer 公众号在解析与体验写到， 已关注的标签：关注标签来筛选你的问题列表。功能“关注一个标签”具体是如何实现的
用Google Scholar插件可以为PDF添加AI大纲（仅限英文） 字体不清晰则不行，例如rolfsen.pdf，用插件打开显示AI Outline is not available for this PDF，怎么办
现在流传的5.06版的Office控件，在32位下的office是可以正常使用的，但无法使用在64位的office上.有没有大侠搞过这个控件，使之能在64位下的office能够运行？
在GitHub能够预览数学公式的格式有 [*]md格式 [*]rst格式，比md更复杂（tables, footnotes, citations） [*]ipynb格式 ipynb用于执行代码来展示数据处理/交互图表，如果只是写写文档，没必要用它
先执行 出来一个编辑器，编辑完成后保存退出，再push发现remote上的commit message竟没变，需要执行 看不懂git文档，也不知道filter-branch是啥，好像把所有的历史都重写了一遍，花了挺长时间的，最后git push -f 就看到已经改好了。
https://github.com/hbghlyj/kuing.cjhb.site/blob/636ca7767c4f3c47a291363c3b2326827344c2e6/upload/template/default/m/js/viewcomment.js#L121 竟然支持微信平台？ 这里的appid是啥 微信官方文档
https://github.com/frangoteam/svgedit/blob/0f4b73914364175428b33ff261ab670ea13faad9/docs/from-old-wiki/RoadMap.md#L19-L55 https://github.com/frangoteam/svgedit/blob/0f4b73914364175428b33ff261ab670ea13faad9/CHANGES.md#L423-L476 如何使用？
本指南解释了如何在 Discourse 中创建和编辑 Wiki 帖子，这些帖子允许社区内的协作编辑和知识共享。Wiki 帖子对于文档、常见问题解答以及其他需要社区输入和定期更新的内容非常有用。 要识别 Wiki 帖子，请寻找一个独特的图标和一个显眼的编辑按钮。您还可以使用站点搜索框中的 in:wiki 过滤器搜索 Wiki 帖子。 编辑 Wiki
我在最新的 TiddlyWiki (Ver 5.2.2 +) 成功离线应用了 MathJax v2.7 版本，结果似也不错，但一直没能将 MathJax V3 应用成功。请教各位网友：如何在 TiddlyWiki 离线使用 MathJax V3？MathJax V3 较 V2 有什么好处？ 谢谢。 顺便秀一下我的“成果”。
《数学辞海》有6 本扫描版PDF 可下载 我在 https://downloads.freemdict.com/尚未整理/共享2020.5.11/content/5_encyclopedia/1_Math/ 下载了《数学辞海》和《数学手册》的 mdd 和 mdx 文件，导入词典软件 goldendict 后，mdx 文件的内容是索引，mdd 文件的内容是每页书的图片，输入条目可查询会跳转到对应的图片页
$\LaTeX$ formula tutorial New Thread
Mobile version
2025-7-20 23:15 GMT+8
Powered by Discuz!
Processed in 0.015424 seconds, 15 queries
