math-problem

一条轻松的推文，关于向配偶解释OpenAI最近的突破（可能解决了一个80年的数学问题），幽默地讨论AGI和ASI导致开始种菜。

OpenAI 声称其新推理模型自主生成了一个原创数学证明，推翻了保罗·埃尔德什（Paul Erdős）一个80年未解的几何猜想。这标志着人工智能首次解决了一个数学领域核心的著名开放问题。