#PutnamBench

共 1 条 · 7 天 0 条 · 30 天 0 条

信息流里打上「PutnamBench」标签的资讯、产品与论文，按刊登时间排，新的在上。

7月4日

模型官方一手06:24

Mistral AI发布Leanstral 1.5：Apache-2.0的Lean 4代码Agent可解587道Putnam题

Mistral开源了Leanstral 1.5，一个能解数学竞赛题的Lean 4代码模型，Apache-2.0免费商用，实测解决587道Putnam难题，值得看看。

#Mistral AI #Leanstral 1.5 #Lean 4 #PutnamBench

官方一手marktechpost@Asif Razzaq原文