AITOP6月16日 20:46
全部 AI 动态
AI 相关资讯全量信息流
6月16日
20:46
600亿美元买下Cursor，xAI终于拿到了编程工具，但真正值得跟踪的或许不是AI
6月12日
12:57
AITOP6月12日 12:57
06:32
06:32
Paul Graham@paulg
Paul Graham@paulg推荐理由：做 AI 系统或形式化验证的开发者值得关注——AI 既让形式化方法更必要，也让其更易用，平衡点在哪是关键。
6月11日
15:28
AITOP6月11日 15:28
15:23
AITOP6月11日 15:23
15:07
AITOP6月11日 15:07
5月23日
06:43
06:43
rohanpaul_ai@rohanpaul_ai
rohanpaul_ai@rohanpaul_ai76°
推荐理由：这篇论文展示了 AI 在数学证明中的实际进展，做形式化验证或数学研究的团队值得关注——它把 LLM 从“讲故事”变成“可验证的候选生成器”，直接解决了幻觉问题。