今日の献立

677：のろうゐるす：2025/10/28(火) 02:19:08: https://arxiv.org/abs/2510.15924
人々が一斉にlatexを使うようになったのは、紙とペンを使って論文を書くより
ずっと便利になったからであって、latexを使うようになって数学研究のあり方
そのものも多少は変わった。同じことがいつかはAIで起きるだろうというお話。
ほう。俺もそう思う。もし巨大資本が突っ込まれれば、LLM+証明支援系の合体で、
相性のいい分野（俺のやっている分野とか）ではすぐにそうなっておかしくない。

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板