AIがひらめき、証明し、検証する時代 数学者の役割はどう変わるか – 朝日新聞

人間的な深い直感を必要とする数学の分野でも、AIの発展が進んでいる。 その仕組みはこうだ。 アルファ幾何学は、膨大なデータを学ぶ「大規模言語モデル（LLM）」 …