- 博客(2)
- 收藏
- 关注
RSS订阅转载 LeanCopilot
「我预计，如果使用得当，到 2026 年，AI 将成为数学研究和许多其他领域值得信赖的合著者。」数学家陶哲轩在之前的一篇博客中说道。现在，数学辅助证明工具都用上了大模型。陶哲轩青睐的证明助手Lean，用上了大模型,陶哲轩这样说了，也这样做了。他最近一直在用 GPT-4、Copilot、Lean 等工具进行数学研究，并且还在...
2024-08-03 03:47:06
27
转载 java用world模板 包含图片
用Java生成包含图片的Word文档模板 在实际的开发中，我们经常需要生成包含图片的Word文档，以便于展示数据或者报告信息。本文将介绍如何使用Java生成包含图片的Word文档模板，并提供相关的代码示例。 准备工作 在生成包含图片的Word文档之前，我们首先需要准备好一些工具和库： Apache POI：一个用于操作M...
2024-07-10 02:51:31
71
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人