数学界大地震。

前一阵一直有传说OpenAI 解决了一系列数学大问题。昨天终于证实。OpenAI一口气发布了几百个数学猜想和问题的证明。其中大部分已经通过Lean的形式化验证，包括很多菲尔兹奖级别的问题。比如张益唐一直在做的朗道-西格尔零点问题，三维挂谷极大函数猜想（强于王虹拿了菲尔兹奖的三维挂谷集合猜想）等等。数学家目前处于审美疲劳阶段，或许可以打酱油了。

有了汽车不妨碍人类继续比赛马拉松。同样，大难题被解决不妨碍我们欣赏小趣题。刚才看到这个图，求橘色三角形面积。图片简明，答案整洁，满足我对趣题的部分要求，转过来。

如果解方程的话，需要解二次方程。应该有不用二次方程的办法。