翁 retweeted
松村可換環論ゼミ ( § 11. DVR, Dedekind 環 )
すでに Neukirch でやった内容もあったけど、分数イデアルについて 可逆⇔射影的 とか、あと ht を挟む議論とか、はとても環論で面白かった
Krull-秋月 の証明重すぎる
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
github.com/openai/math







