热门

最新

红包

立Flag

投票

同城

发布
devhero
op7418
2 年前
truedevhero

Notion AI 现在变成了一个单独的页面。

支持询问问题、单独搜索指定内容，还可以正常跟 AI 进行对话。

看起来终于有点数据库助理的样子了。

未来还会支持链接 Google Drive 和 Github AI从中获取信息帮助回答，把所有的场景都覆盖到了。

试了一下查询内容丰富了不少，之前明明就有老搜不到。
2
35
  • 复制链接
  • 举报
下一条：
两个数学模型分别是：AlphaProof，这是一个基于强化学习的正式数学推理系统。以及 AlphaGeometry 2，几何问题解决系统的改进版本。在训练过程中，AlphaProof 通过证明或反驳数百万个问题来提高其性能。AlphaGeometry 2 的性能也得到了显著提升，能够解决历史上大部分 IMO 几何问题。而且通过对 Gemini 模型的微调，AlphaProof 能够自动将自然语言问题翻译成正式语言，从而创建了一个用于训练和解决问题的大型正式问题库。