pen苹果王 2026-06-30 我也在做类似的。不过和你们方向不一样。基础数学的agent。我们做的主要是如何做proof 和idea。你们这个工具我看特别好。我们pre research阶段和输出结尾阶段要反复用类似的工具。不过我们的重点在中间的部分。我们pre research阶段的要提高llm在研究阶段的下层能力。因为我们发现很多小众的方向llm没有知识储备。有websearch也不太好,所以最近在攻克这一块,期望是可以做到完成pre research阶段能到达研究院的水平。之前测试花费还是控制不好。成本也是考虑因素,即便是5.5xhigh,成本也不好说。不过up这个我看可以接过来试一试 感觉是工具向的 ♥ 80 ↩ 13
龙王x神力 2026-07-09 ai做正确的计算和化简实际上非常非常难的,我一年前试过把张量计算给ai接管,最开始只是有个相对论爱因斯坦方程的mathematica包。黎曼几何里面有一些内在的不变量在一个或者有限个坐标卡里面都是看不清楚的,我认为哪怕是解决微分几何张量计算化简的问题也至少是alphageomtry级别的工作,谁能做好的可以直接去deepmind领导一个组了。 ♥ 66 ↩ 3
珊瑚宫肝海 2026-06-30 之前一直以为李教授就职的公司是做高能物理或者天体物理产业的,才需要物理学家镇场。为什么一个做AI产品的公司,它的首席科学家是个物理学家呢?正常来说应该是个数学家或者网络专家吧? ♥ 44 ↩ 7
Comments
公司能给大佬配个麦克风不
♥ 187 ↩ 4
我也在做类似的。不过和你们方向不一样。基础数学的agent。我们做的主要是如何做proof 和idea。你们这个工具我看特别好。我们pre research阶段和输出结尾阶段要反复用类似的工具。不过我们的重点在中间的部分。我们pre research阶段的要提高llm在研究阶段的下层能力。因为我们发现很多小众的方向llm没有知识储备。有websearch也不太好,所以最近在攻克这一块,期望是可以做到完成pre research阶段能到达研究院的水平。之前测试花费还是控制不好。成本也是考虑因素,即便是5.5xhigh,成本也不好说。不过up这个我看可以接过来试一试 感觉是工具向的
♥ 80 ↩ 13
ai做正确的计算和化简实际上非常非常难的,我一年前试过把张量计算给ai接管,最开始只是有个相对论爱因斯坦方程的mathematica包。黎曼几何里面有一些内在的不变量在一个或者有限个坐标卡里面都是看不清楚的,我认为哪怕是解决微分几何张量计算化简的问题也至少是alphageomtry级别的工作,谁能做好的可以直接去deepmind领导一个组了。
♥ 66 ↩ 3
之前一直以为李教授就职的公司是做高能物理或者天体物理产业的,才需要物理学家镇场。为什么一个做AI产品的公司,它的首席科学家是个物理学家呢?正常来说应该是个数学家或者网络专家吧?
♥ 44 ↩ 7
现在Ai都可以完成这方面的工作了吗,太恐怖了
♥ 41 ↩ 8
如果不会用 可以点击我的主页[doge_金箍]
♥ 39 ↩ 4
爸爸真是太厉害了呢[星星眼]
♥ 23 ↩ 2
别软件了,我们都有全自动科研系统Agon了,从idea到投稿end to end
♥ 17 ↩ 12
原来大佬也在做ai4s,这方向现在也太热了
♥ 8
欢迎大家给李老师的产品提提建议[星星眼]
♥ 8
强烈推荐一个纯小白教程,《图解 AI 大模型》:https://www.lvyenet.com/llm[doge]
♥ 7 ↩ 1
能否开个试用七天啥的
♥ 4 ↩ 3
这样的ai可以总结附录几十页的理论文章么
♥ 4 ↩ 1
老师现在还在做科研吗?还是做ai了[doge]
♥ 4 ↩ 1
感觉很好用的样子!!!
♥ 3 ↩ 1
第二,收藏了[脱单doge]
♥ 2 ↩ 1
看到视频开头还有人在刷张祥前,真的不知道该说什么,总之,正经的科普看来还很漫长啊~
♥ 2 ↩ 1
glm最近降智有点厉害,回答都不怎么联系上下文了
♥ 2
哇(✪ω✪)
♥ 2 ↩ 2
必须收藏了
♥ 2 ↩ 2