確認済み科学・数学10月02日 17:00 UTC Meta、Muse Sparkを使った数学者が5つの未解決問題に答えたと発表 Meta AI Research 6本の論文は確率、微分方程式、群論などに及ぶ。Metaは人間が主導し検証したと説明。 Meta AI Research で読む →共有 経由 @martinvars