AITOP6月16日 20:46
全部 AI 动态
AI 相关资讯全量信息流
6月16日
20:46
600亿美元买下Cursor，xAI终于拿到了编程工具，但真正值得跟踪的或许不是AI
6月12日
12:57
AITOP6月12日 12:57
12:55
12:55
Amazon Science@AmazonScience
Amazon Science@AmazonScience精选
推荐理由：形式化验证从学术走向商业云，做云安全或高合规性系统的团队值得关注——数学证明比测试更可靠，AWS已经把它落地了。
6月11日
15:28
AITOP6月11日 15:28
15:23
AITOP6月11日 15:23
15:07
AITOP6月11日 15:07
5月26日
10:29
10:29
AI Will@FinanceYF5
AI Will@FinanceYF593°
推荐理由：AI 用几百美元成本解决了人类数学家 56 年未解的问题，做数学研究或形式化验证的团队值得关注——这可能是数学研究自动化的转折点。