AIチャットボットがフェルマーの最終定理の証明を生成

AIチャットボットの高度なプロトタイプが、フェルマーの最終定理の1300万行に及ぶコンピュータ検証済みの証明を11日間で生成した。 この成果は、AIが複雑な数学研究を支援する可能性を示している。 また、農薬中毒の統計や中国での遺伝子編集試験における死亡事故についても報じている。