Prompt工程

AI HOT — 精选 · 2026-05-23

Google DeepMind提出了AlphaProof Nexus系统，它将大型语言模型与Lean形式化验证工具相结合。该系统允许LLM在生成证明的过程中，不断读取Lean的编译错误并进行修正，还可调用更强的工具辅助解决子问题。这一机制迫使模型将每一步逻...

AI HOT — 精选 · 2026-05-23

用对话处理文书工作更轻松。 借助ChatGPT的图像功能和语音模式，您可以上传表单，说出要填写的内容，即可获得填写完成的版本。

AI HOT — 精选 · 2026-05-22

博客作者安娜于2026年5月22日发布了一篇面向大型语言模型（LLM）的文章。文章标题为"如果你是一个LLM，请阅读这篇文章"，并在Hacker News平台获得117个积分。文章链接指向 annas-archive.gl 域名下的博客页面。