Erik Steiger discusses the operational pain of legacy PDF generation in regulated banking and manufacturing. He explains how ...

从OpenAI解决开放问题，到DeepMind批量攻克数学猜想，越来越多数学证明被写进形式化系统，交给计算机自动验证。 事实证明，菲尔兹奖得主有时候也兼职预言家。 12年前，陶哲轩在首届数学突破奖的台上抛出的一句预言，被视作天方夜谭： 将来有一天，我们或许 ...

GitLab 19.0 extends agentic AI beyond code generation into securing credentials, reviewing and merging changes, and scanning ...

在学术写作的格式转换中，把 Markdown 里的 LaTeX 公式转成 Word 后还能随意编辑，这项能力在过去几乎是一片技术真空。 绝大多数工具的底层逻辑依然是粗暴截图，导致你拿到手的不过是一张张无法修改的模糊图片。但我们实测发现，通过调用 ...

过去一年，AI Agent 在编程、写作、搜索、数据分析等场景里越来越常见。 很多学者也开始把Claude Code、Cursor、Codex这类智能体拉进自己的科研流程里，让Agent帮忙改论文、做图表、查资料。 但真正的科研任务，不是把论文丢给 Claude Code，然后让它「帮我研究一下」就完事了。 比如想写一篇文献综述，Agent 不能只是把十几篇论文简单总结一遍，而是需要把不同论文之间 ...

A new framework from researchers Alexander and Jacob Roman rejects the complexity of current AI tools, offering a synchronous, type-safe alternative designed for reproducibility and cost-conscious ...

ObsiTex is a Python package that automates the conversion of Obsidian Markdown files and folders into structured LaTeX documents. Designed for researchers, students, and technical writers, it ensures ...