新未名空间 • 今日OpenAi

分页： 1 / 1

#1 今日OpenAi

发表于： 2025年 2月 10日 06:06

由 forecasting

OpenAI增强数学处理能力

https://arxiv.org/abs/2502.03544v1

#2 Re: 今日OpenAi

发表于： 2025年 2月 10日 07:00

由 redot

外角定理都不知道，搞什么几何题？

#3 Re: 今日OpenAi

发表于： 2025年 2月 10日 07:29

由 forecasting

redot 写了： 2025年 2月 10日 07:00 外角定理都不知道，搞什么几何题？

欧式几何公理体系是完备的，complete。不过有定理的证明复杂度很高，是双指数。