今日の献立 - 1141965756 - したらば掲示板

625：のろうゐるす：2024/01/10(水) 15:53:01: ニコ様がDe Gruyterからまた専門書出してたことに気づいた。スゴイ！
626：ぷるぷる：2024/01/11(木) 16:40:52: ほうほう😨😰、まともな出版社だったはずなのに、
企画の前に意見や評判を信頼できる専門家に聞いたりしないのかね
ちなみに前のやつはちらっと覗いただけでもクンツ栗ガーの定義がめちゃくちゃだったり、
でたらめのオンパレードやった☺️有害図書指定した方がええな😌
627：ぷるぷる：2024/02/04(日) 15:37:20: また素晴らしいことを発見したっぽいけど、論文に整理するのがタイヘンそう😥
こういうのAIがやってくんねえかな😌
628：ぷるぷる：2024/05/03(金) 14:11:37: そうなん？☺️
arxiv:2405.01133
629：のろうゐるす：2024/05/07(火) 20:50:08: geometric Langlandsが解決したとアナウンスがあったようだが
結構あやふやな土台の上に建っているっぽい感じ。いずれにせよ
俺の知ったことではないか。
630：ぷるぷる：2024/05/07(火) 21:20:01: ほうほう、これ？🙂
https://people.mpim-bonn.mpg.de/gaitsgde/GLC/
宇宙化せんとええのう😌、まあ一般論として、共著者がごちゃごちゃ増えるほど
責任感は薄れるし齟齬も生じるから、指数的に諸々のリスクが増えるよね😉
そういやコンヌ埋没はどうなったん？🙄
631：のろうゐるす：2024/05/08(水) 09:09:09: （大丈夫だと思われているが）最終的に完全に証明されているか否かは
ともかく、皆に分かる確かなアイディアは幾つもあって、既に確かな
応用が幾つか出てるから、アレとは全然比べられないね。
632：みーしゃ：2024/05/08(水) 16:54:25: ついにK先生もエッセイストですな．
633：ぷべるる：2024/05/08(水) 20:49:20: 楽しみやね☺️、カケンで買えるよな？😊
634：みーしゃ：2024/05/10(金) 16:26:21: いや無理だから
635：ぷべるるさん：2024/05/17(金) 00:40:34: >>627 これ出す前にもう一個できた。これも書くのがたいへんやったわ😮‍💨
　学部レベルの証明くらいはAIでも違和感ないレベルでTEXってくるらしいヨ。😮
　論文も5年後くらいには機械が書いてくれるのかな？ノロさん？😚
636：のろうゐるす：2024/05/17(金) 09:32:21: AIに読ませる手書きの論文を用意するくらいなら、最初からtexで打てば
いいんじゃないの？新世代がtex不要になるということならあるかもな。
（俺だってお仕着せのlatexだけで旧世代みたいにtexに精通してないしな。）
\refや\citeは必須だから、手書き入力可能なtexエディタが出るんじゃろう。
637：ぷべるる：2024/05/17(金) 13:04:45: 手書き読ませるとかじゃなくて、(それはもうあるらしい)
この証明書いてねって言ったらテフで帰ってくるらしいよ😚
あとたいへんなのは記号の整合性、重複有無だけど、
これくらいは頑張ればできるんとちゃうかな？🙂
638：のろうゐるす：2024/05/17(金) 13:29:28: そりゃ、入試問題でも教科書にある証明でも、似たようなデータが大量にある
場合はAIが適当/上手に組み合わせてそれらしいものを作れるけど、ある程度
マイナーなものになったら、頓珍漢な答えを自信満々に出してくるだけだよ。
生成AI単独でできる数学なんてすごい限定的。強化学習AIができればまた話は
変わるんだろうが、数学のような目的関数のはっきりしないものをやるには
ブレイクスルーがあといくつも必要だね。
639：ぷべるる：2024/05/17(金) 22:08:53: 一見そこはかとなく数学に見えるナニカといえばこの人の論文を思い出す😌
arXiv:1510.06215
前のもひどかったけど、
主定理の証明が破綻していることを報告もせずダンマリ通すって研究不正じゃないの？😊
まあある意味すごい才能だと思う、おぼちゃん的な😚