AI助攻「菜鸟数学家」解决忙碌海狸问题，陶哲轩转发分享
AI助攻「菜鸟数学家」解决忙碌海狸问题，陶哲轩转发分享在 AI 的帮助下，越来越多的数学问题得到了解决。
来自主题: AI资讯
8262 点击 2024-07-04 13:31
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
在 AI 的帮助下，越来越多的数学问题得到了解决。
搜索，几乎是AI应用最成熟的场景，不仅跑出了Perplexity AI这种初创独角兽，还吸引了模型巨头OpenAI的投入。当所有目光放到AI搜索在C端的应用，却忽略了在企业搜索的赛道上，有一家公司正在大放异彩，那就是Glean。
Lean Copilot，让陶哲轩等众多数学家赞不绝口的这个形式化数学工具，又有超强进化了？ 就在刚刚，加州理工教授Anima Anandkumar宣布，团队发布了Lean Copilot论文的扩展版本，并且更新了代码库。
根据ReportLinker的预测，全球企业搜索市场预计到2028年将达到69亿美元，且随着远程办公趋势的增长，企业对高效搜索和知识管理的需求日益增加。