#Lean

Astra: 博士号取得者よりも賢いAI？

OpenAIの新しいモデルが10の主要な数学的問題を解決しましたが、真のニュースは導き出された答えではありません。それは、AIが用いた革命的かつ自己検証可能な手法であり、複雑な問題解決の未来にとってそれが何を意味するかということです。