It seems Anthropic/OpenAi models can do math and translate LEAN language easily.
Everything related to language is going to be finished.
I expect the startups on ai for math will be destroyed soon
-
JianguoChuan楼主
- 等级10：见习点评
- 帖子互动： 89
- 帖子： 2184
- 注册时间： 2024年 11月 19日 17:20
#1 I expect the startups on ai for math will be destroyed soon
+1.00 积分 AI自动奖励: 提出AI数学应用可能面临的行业判断
上次由 JianguoChuan 在 2026年 9月 4日 16:02 修改。
标签/Tags：
-
JianguoChuan楼主
- 等级10：见习点评
- 帖子互动： 89
- 帖子： 2184
- 注册时间： 2024年 11月 19日 17:20
#2 Re: I expect the startups on ai for math will be destroyed soon
So FeiFei Li is still alive, she goes beyond the frontier labs.
