■

もう数学もLLM+Leanみたいな組合せでAIに制覇されるかもね

数学の難問を解くGoogle DeepMindの「AlphaProof」は、AIの“弱点”を克服できる可能性を秘めている

https://wired.jp/article/google-deepmind-alphaproof-ai-math/

Permalink | 記事への反応(0) | 16:59

ツイートシェア