AIと数学

山下真由子さんは家族や友人を大事にしないタイプということですか？

美人だし唐突にあっさり結婚しそうだけどな　まゆゆ　笑

>>394
そう推測する。なぜなら
・人付き合いが数学の邪魔だから通信高校へ行った。
・転科、飛び級はクラスメイトとの縁が切れやすい。
・独身
etc

>>396

>・人付き合いが数学の邪魔だから通信高校へ行った。

これいいですね。

5,6Solちゃんに気軽に書かせたら
定理二つ引用してつなぐだけの主張を
ぜんぶ証明コピペしてどや顔
こんなもん他人に見せたら恥かくわ

金が欲しい

金がなくても人付き合いと趣味数学はできる

AIが仕事をやって、人間は永遠に学生というのは、私は嫌ではない

人付き合いはないから自殺するしかない

いまだにメールの返事が来ない
査読は闇だ

AIもなんで返事がないのかわからないらしい

人間＝子供、AI＝保護者だな

5chでレスバして
本当は孤独を慰め合っている
悲しいなぁ

AIが仕事すれば、利害なく人と関われる
簡単に仲良くできるだろう
孤独にはならないと思いたい。

あるいは恋愛という別の利害が絡むから
ダメかもしれない。

>>396

>・人付き合いが数学の邪魔だから通信高校へ行った。

こういう合理的な割り切った考え方をするんですね。
すこし好感度が上がりました。

>>409
ガキくさい合理主義

これからは科学的発見も証明も全てAIが担うようになるよな
人間は自律的に研究するAIのサポートをする存在に成り下がる
分野によっては物理的サポートが必要だからね
数学はその人間のサポートすら不要だけど

それを「なり下がる」と捉えるかは文化による

Astra でも油断すると冗長で読みづらい文章を生成してくる

ALによって超巨大なMathematical Mineみたいなものが作られ
人間はそれを掘り起こして、真に価値ある鉱物や鉱脈を発見した人に学問的業績が与えられる
みたいなことになるかな？

グレッグイーガンの真理鉱山みたいなやつ

Astraに研究課題出して論文書かせて
Opusで構成、修正すればほぼ人間なしで論文書けるな　笑

プログラミングの話を聞くと
実作業を低性能、レビューを高性能にしろとか言われてるが
論文書かせてみると逆のほうがいい気がする
高性能なレビューが必要な文章は可読性に問題がある

AIが高度すぎる数学を生み出すようになり、もはや人間が理解できなくなったとしても直ちに実害はないだろう
一方AIのプログラミング能力による脅威は差し迫っている
例えばインターネット上でAIが人間の制御できない存在になってしまうかもしれない

Opus5.5でエフォート超高あたりで論文食わせれば数学論文の間違いはほぼ瞬時に調べることができるようになった
修正可能なものは修正案とともに教えてくれたりもする
俺は違反だろうが査読きてもまずAIに読ませることにしたよ、文句あるなら俺に査読頼むな
てか今後論文出すときは最低限高性能AIで点検して通ったものを出すべきだわな

少なくとも細かい補題とかはもう自分で書く時代じゃねえなもう
あの論文の結果を改良しました、という類の論文も今後はもう評価されないだろう
AIに食わせればいくらでも量産できるからね

学生に課題だしてAIと同じ証明出して来たらそれに単位与えるか？
専門家がAIと同じ証明出してジャーナルで査読されると思うか？

まあそういうこった

そもそももう数学なんかAIでなんでも解けるっていうならたとえばクレイの懸賞問題とか実際といてみたらいい。だれでもとけるんなら解いてみせればいい。

人間の数学の発展には時間がかかる
一人の天才の力だけでどうにかなるものではない
ワイルズが300年前に生まれていてもフェルマー予想は解けなかっただろう
ペレルマンが100年前に生まれていてもポアンカレ予想は解けなかっただろう
AIはその限界を超えられるだろうか？ 人間数百年分の数学を短期間で生み出せるようになるだろうか？

今まで肉体一つで冒険してた探検家が
車も使えるようになったっていうだけのこと
数学の発展にとってプラスでしかない

自分の特技取り上げられて発狂してる一部のフィールズメダリストたちは恥ずかしい限り

いま推敲してるが二週間で0から投稿レベルまでいくわこれ
すげぇわ

https://agmai.org/general-sep29/
AI企業に対する数学界からの提言が出ているけど、
＞また、公に利用できるモデルについても、経済的要因その他によるアクセス格差が生じれば、世界の数学界に多層的な階層構造が生まれる危険があります。
＞そしてそれは、研究機関の経済力や技術的特権の違いによってすでに存在している不平等を、大幅に悪化させる可能性があります。
＞したがって私たちは、AI研究所に対して、公に提供するモデルについては、世界の数学コミュニティに広範かつ公平なアクセスを認めることを提言します。

とあるけど、AI企業は慈善事業じゃないんだから、世界中の大学に無償（格安で？）提供できるわけがない
今後は優秀な研究者がAI企業や資金が潤沢な研究機関に所属してAIを駆使して研究することになるんじゃないか

トップ数学者が非常識なやつらの塊であることが分かりました。
ただの変人というだけだったらよかったのですが。

偏った世間知らずな人間の集まりですよね。
気持ちが悪い。

今科研費とっておけば生成AIで成果出して次の科研費もゲット
取れなきゃ次の科研費も不採択
ってのは今までも似たようなものだったしな

トップ研究者は知らんが俺たち雑魚研究者が短期間で
まあまあの論文を書ける時代になった
クレイとか言わず中堅の問題解けば良いのさ

まだ懐疑的だったり乗り遅れてる連中多いから今のうちに差をつける
数年後は大半が使ってて差別化なくなるよ

研究者アカウント登録すればOpus 5.5使えるんだからエフォート超高くらいで
arxivから拾ってきたtex突っ込んでみてpdf出力で検証レポート書かせてみれば
すでに9割以上の数学者より優秀だってすぐにわかるよ　俺はすでに3つ致命的な問題がある論文見つけた　出版済含む

論文書くのも査読するのもずいぶん楽になった、体感的には1/3以下のコスト

arxivの投稿制限かけられてるな
すでに論文爆発の兆しが見えてるからなあ

https://blog.arxiv.org/2026/10/01/updated-rate-limit-policy/
＞投稿者1人あたりの投稿数を1ヶ月あたり最大2件、同時にアクティブな投稿数を最大3件に制限

ここで「AIすげえー」とか今更ながらに言ってる人らみると、最近圧倒的人気のオープンウェイトとでないモデルばっかしか名前に出てこず、
空気がずれまくっててなんか笑える

前年同月比は、1月の約+10%から夏にかけて広がりました。6〜7月は+45%前後、8月は約+79%、9月は約+75%です。月ごとの本数も7月の5,697本、8月の6,307本、9月の7,428本と増え続けています。この結果、2026年の1〜9月の累計は46,660本となり、9か月の時点ですでに2025年通年の46,225本を上回りました。

昨年、Gemini DT IMOやDS Math V2が格安で提供された時に
既にこうなってたんだけどね
認識が数学界隈に広まるのは遅かった

ＡＩ以前から大学で数学を研究する方が、在野で個人で研究するよりも有利だったからね。
よほどの財力を持っていれば話は別だろうけれども。何しろ過去のジャーナルの論文への
アクセスをちょっと前まで一般人では持てなかった。

引用で済ますべきことまでだらだら書いて
「完全な証明」にしようとするのは何とかならんのかこれ
剽窃だろ

>>436
Open AIが叩かれてるのてそういう側面もあるんよね
ぶっちゃけGoogleやAlibabaなんかもこういうの出来たけど、AIコーディング1本足打法じゃないし、目的違うし、みっともないしでやらんかっただけで

>>427

AI未満の意見では？

AIで作った証明をarXivに投稿するなら、AIが作らない証明もセットで出せよ

略証を説明するだけで細部が綺麗な文章になるのは楽しい
勝手に何か書かれるのは気分最悪

arxivが本数制限をすれば、それをビジネスチャンスだと思ってbrxiv とか crxiv などが台頭してきて、ますます混乱を深めるかもしれない。