LeanSTaR - AI话题 - AI快开门

2024-08-10

CMU-清华LeanSTaR框架让LLM边思考边证明定理刷新miniF2F榜单，UCLA华人研究生联手MIT破解组合数学等差数列难题，吴恩达亲授Python AI新课降低入门门槛，顶级高校与在线教育平台持续为AI研究与应用输送新方法与人才。

# LeanSTaR