科研工具 - 乐酷网站内搜索
搜索：科研工具
共找到 2 条结果
AI攻下数学开放题，Lean证明全公开AI攻下数学开放题，Lean证明全公开 最近看到一家前沿模型团队在数学上搞出了新动静，他们用内部模型直接推进了几个长期悬而未决的开放问题，还把Lean形式化证明和研究细节全扔上了GitHub。这跟以前那种「AI辅助猜想、人类事后验证」的玩法…https://talk.lekuidc.com/852.html- 开源快速报告模型AstaBrief开源快速报告模型AstaBrief 今天看到 Allen AI 开源了 AstaBrief，一个专门做科学文献快速报告生成的模型。他们之前做 Asta 这个科研智能体平台时就发现，科学家用起来跟普通搜索完全不一样，不是丢个关键词就完事，而是…https://talk.lekuidc.com/677.html