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

科技回声

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

GitHubTwitter

首页

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

资源链接

HackerNews API原版 HackerNewsNext.js

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

Lessons from the AI Revolution in Mathematics

1 点作者 xlinux11 个月前

1 comment

chrisjj11 个月前
&gt; This approach remains human-centric ... the computer handles the tedious and error-prone aspects of proof verification<p>So, outsource the error-prone part of verification to a machine...<p>And these people seriously think the results can be taken on trust???<p>Please let the law require every such product contain the warning &quot;Checked only by the tech that recommends you eat one rock per day&quot;.