TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

LLMs as Copilots for Theorem Proving in Lean

3 点作者 georgehill超过 1 年前

1 comment

anifow超过 1 年前
this is an excellent step towards the useability revolution, interesting to see how long it will take to permeate to a standard for high-school and undergraduate students to get to real work faster and in a more interactive way<p>more reactions on X <a href="https:&#x2F;&#x2F;twitter.com&#x2F;AnimaAnandkumar&#x2F;status&#x2F;1734080043196768348" rel="nofollow noreferrer">https:&#x2F;&#x2F;twitter.com&#x2F;AnimaAnandkumar&#x2F;status&#x2F;17340800431967683...</a>