挑战 - AI有智慧

形式化定理证明新突破：SubgoalXL框架让大模型在Isabelle中性能暴涨

AI智慧秀 形式化定理证明新突破：SubgoalXL框架让大模型在Isabelle中性能暴涨

SubgoalXL 的成功展示了大语言模型在形式化定理证明任务中的巨大潜力，并为未来研究指明了方向。

一只AI吗喽，单挑《黑神话》，歇菜1000次，终于击败首个Boss

AI智慧秀 一只AI吗喽，单挑《黑神话》，歇菜1000次，终于击败首个Boss

这算不算，买了个游戏给电脑玩？

只要一张图就能「还原」绘画过程，这篇论文比爆火的Paints-UNDO实现得更早

AI智慧秀 只要一张图就能「还原」绘画过程，这篇论文比爆火的Paints-UNDO实现得更早

最近，lvmin 带来了最新模型 Paints-UNDO。