AITOP6月16日 20:46
全部 AI 动态
AI 相关资讯全量信息流
6月16日
20:46
600亿美元买下Cursor，xAI终于拿到了编程工具，但真正值得跟踪的或许不是AI
6月12日
12:57
AITOP6月12日 12:57
6月11日
15:28
AITOP6月11日 15:28
15:23
AITOP6月11日 15:23
15:07
AITOP6月11日 15:07
6月5日
16:38
16:38
AI Will@FinanceYF5
AI Will@FinanceYF572°
推荐理由：数学竞赛和形式化验证的开发者可以关注——LEAP 用结构优化而非模型升级就实现了 7 倍正确率提升，值得在类似推理任务中尝试。
16:36
16:36AI Will@FinanceYF5
AI Will@FinanceYF576°
推荐理由：做 AI 推理、数学证明或形式化验证的团队会发现，LEAP 把通用 LLM 的数学能力拉高了一个量级——不用专用模型也能解 IMO 级难题，值得直接看论文复现思路。