したらばTOP ■掲示板に戻る■ 全部 1-100 最新50 | |

今日の献立

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


新着レスの表示


名前: E-mail(省略可)

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

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

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

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