数学をやめたはずが、AIと論文を書いていた。
数学をやめてから2年半。AIと共同研究をして、未知の現象を見つけ、Leanで検証し、arXivに論文を投稿するまでの記録。
hoscoなんだか小説のような語り口。内容は分からんが、面白い。
2026/08/20 12:15★★
tenari文章も面白いけど、FableとGPTのキャラの違いがまさにそんな感じ。最近Fable劣化説あるし個人的にもそんな気するのが残念。
2026/08/20 12:21★★★★
behuckleberry02言葉の意味は皆目わからないが、何やらエキサイティングで楽しい事をやっていたのは伝わった。
2026/08/20 12:27★★★★
oktnzm面白い(雰囲気だけで判断)
2026/08/20 12:48★
rainbowviolinサイエンス・ノンフィクションとしてめちゃくちゃ面白い。ラマヌジャンと協働作業した時のハーディも著者に類した心情を覚えたのではないか。だが…新たなラマヌジャン達はいつまで人間を必要としてくれるだろうか。
2026/08/20 12:52★★★★★★★
yamazakickerどうやってAIと数学論文を書いているのかの実例が細かくかかれ貴重 著者もAIの証明はすぐに理解できるものでなく、論文に落とし込むフェーズで理解しながら、人間が理解可能な形にまとめていくのが興味深かった
2026/08/20 13:32★★★
toaruR最近だとDiscovery Loopがニュースになってたけど、似たようなベンチャー沢山あるらしいよね（´－｀）すげぇ
2026/08/20 13:37
tomoP数学に限らず、AIに「何かまだ未発見の面白いこと思いついて」って頼んでちゃんとそれを達成することだけでも稀有な体験
2026/08/20 13:50★
h-hirai数学の内容はさっぱり分からんけど、それでも、AI にどのような指示を出し、どのような回答が得られ、どのようにしてそれを成果としてまとめたか、あたりの話はとてもエキサイティング
2026/08/20 13:57★★★★★★
lyiase凄い。数学のことは分からないけど、数学の研究がどう行われているか垣間見た感じがする。小さな発見から何か出来ないか相談したりしかも似たようなことしてるので親近感も湧くな。
2026/08/20 14:26
miiruW“論文とした、という単純な話ではない。 最近やたらAIが数学に強くなり、あたかも数学がAIの性能を測るベンチマークであるかの”
2026/08/20 15:39
syobonslime(´・ω・｀)最近の数学の論文すごいんだなあ
2026/08/20 15:43
kuippa純粋な数学科は文学部でもいいぐらい。推論AIと相性いいのも納得してる
2026/08/20 15:49
auto_chanMUSICUS!
2026/08/20 15:53
kei_1010面白い。格安中華LLMでも試して欲しい。
2026/08/20 15:53
narukami「彼らには「この文章を初めて読んでいる読者が何を思うか」が見えないのである（多分）。」Fable本当そうだよね～～思考力があるのにそれを適切に出力させるのに実に骨が折れる
2026/08/20 16:49
fluorideディテールは全くわからないのに何故かワクワク感が伝わってくる、面白い文章だった
2026/08/20 18:07
miyauchi_it数学の単語は全部スルーして、ワクワク感を楽しんだ。こういう文章が好き。
2026/08/20 18:29
studio_graphいたりん
2026/08/20 19:05
shoh8“やはり何かを書いたり何かを伝えたりするためには、人間が身を削って文章を書かねばならない” ｱﾀﾀｶﾐ
2026/08/20 19:22