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

fractionfraction のブックマーク 2024/05/03 01:52

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

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

    旧知の仲である数学者 齋藤 耕太 氏(筑波大学、学振PD)が、昨日数学の未解決問題を解決したとするプレプリントをプリプリントサーバーarXivに投稿されました: arxiv.org 論文自体は「現状分かるところまで研究...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう