专栏名称: 算法与数据结构
算法与数据结构知识、资源分享
目录
相关文章推荐
51好读  ›  专栏  ›  算法与数据结构

陶哲轩:感谢ChatGPT,4小时独立完成了一个开源项目

算法与数据结构  · 公众号  · 算法  · 2025-05-17 11:12

正文

请到「今天看啥」查看全文


「我过去曾希望能有一个工具能够自动判断此类估计是否成立(如果成立,则提供证明;如果不成立,则提供渐近反例)。」

现在,这个心愿实现了。

我们都知道,陶哲轩非常爱好使用大模型来辅助解决数学问题。过去的大多数情况是完成比较简单的编码任务,例如计算然后绘制一些稍微复杂的数学函数,或者对某些数据集进行一些基本的数据分析。

这次,他决定给自己一个更具挑战性的任务:编写一个可以处理上述形式不等式的验证器。

举个例子,一个典型的不等式可能是弱算术平均 - 几何平均不等式。

其中 abc 是任意正实数,这里的 表示我们愿意在估计中丢失一个未指定的(乘性)常数。

原则上,这类形式的简单不等式可以通过强力的案例拆分自动解决。单个这类的不等式都不太难手工求解,但有些应用需要检验大量这样的不等式,或者将其拆分成大量案例。这项任务似乎非常适合自动化,尤其是在现代技术的帮助下。







请到「今天看啥」查看全文