数学AI

• 人工智能

  谷歌数学AI登Nature：IMO金牌几何水平，定理证明超越1978年吴文俊法

  AlphaGeometry的输出令人印象深刻，既可验证又干净。过去的人工智能解决方案偶然性很大，输出有时是正确的，需要人工检查。

  清一色

  2024年1月18日

  7.2K000