70年以上未解決であった「ミルズの定数の無理数性」が解決か！？ - INTEGERS

旧知の仲である数学者 齋藤 耕太 氏（筑波大学、学振PD）が、昨日数学の未解決問題を解決したとするプレプリントをプリプリントサーバーarXivに投稿されました： arxiv.org 論文自体は「現状分かるところまで研究しつくす」という素晴らしい態度で執筆されているので主定理の記述は十行ありますが、その特別な場合をとり出した ミルズの定数は無理数である という定理（これは論文のタイトルにもなっています）が、ある程度長い期間未解決であったと思われる数学上の問題の解決を意味しています。 無理数性の証明はかっこいい 実数という数学的対象は有理数と無理数に分けられます。有理数は などのように という表示を持つ実数であり（ここでは自然数は正の整数を意味するものとします）、有理数ではない実数のことを無理数といいます。 高校数学でも証明込みで学ぶことと思いますが、無理数の典型例としては があげられます。こ

[aya_momo]

Wikipediaを見るとよくわかる。https://ja.wikipedia.org/wiki/%E3%83%9F%E3%83%AB%E3%82%BA%E3%81%AE%E5%AE%9A%E6%95%B0

[blueboy]

Kota Saito (齋藤 耕太) 　経歴 　→　https://x.gd/fA8Fs　　　　https://sites.google.com/view/kota-saito-math/%E3%83%9B%E3%83%BC%E3%83%A0/%E7%B5%8C%E6%AD%B4?authuser=0　　　　　／　↑　ChatGPT は、四則演算による中学生レベルの科学計算さえ誤答ばかり。

[muchonov]

すごさの内容はわからないけど、すごさを表現してるこの文章は大変わかりやすく、観る将的な感じで「観る数」として楽しめた

[crybb]

"数学定数が得られればそれが無理数かを問うのは常"

[mohno]

「こんな素数を産み出しまくる面白実数が有理数なワケねえ！」「先行研究の証明までは追っていないが、先行研究を仮定した上での議論はまあ正しいだろう」「道具は1957年には全て揃っていたのです」

[Helfard]

ふえーすごい。賞金とか出ないのかな？

[smeg]

こんな定数全然知らなかった。数学やってる人は普通知ってるもんなの？想像では整数論以外の人は知らないんじゃないかと思うんだけど。

[fraction]

↓現時点ではChatGPTに証明を見つけさせられる事前情報を構築できる能力がある人なら、自分で証明見つける方が圧倒的に楽って状態に見える。

[roshi]

道具が既に揃っていたという事はChatGPTに論文と同じ手順を教えてたら同じように解いてくれるのかな？

[door-s-dev]

すごい👏