箱星 : 探究

#ハツボシマーケット のお品書きです！ 弊サークルの新刊は篠澤広数学合同の高校数学版となります． また，弊サークルの既刊のほか，Silent//Azure(@TachibanaIone)，学術アイドルマスター合同準備会(@kusa_gomi)の各サークルの既刊も委託頒布いたします． ぜひお越しください！

@lurie24384 理解の補助に使うのはありだと思っています コンピュータの将棋から人間が学ぶこともありますし、そういう感じになるのがいいかもしれません 全部AIに任せて人間が制御できなくなるのは好ましくないと思っています

@hakoboshi_e （まだもうしばらく先のことだと個人的には思ってるけど）AI が人間の数学者を超えて、研究をほぼ全て担うようになり、その成果を箱星さんに教えてくれて、箱星さんの数学に対する理解を向上させてくれるとしたら、そういう数学の在り方についてはどうですか？

ぼくは職業数学者じゃないので、AIが数学をどう変えるかに意見できる立場ではないかもしれない 趣味で数学をやっているぼくの目標は「理解する」こと いくらAIが進化しても最終的に理解するのは自分の力でしかできない

組合せゲームLCTRを扱った比較的最近の論文があるけど、昔の競プロで出題されている 著者が知っているかは不明だけど

論文を元に競プロ作問をするのがありなら、逆に競プロの問題を元に論文を書くというのもありなのか？

「AIが人間に理解できない証明を出力したらどうする？」という話がよく出るけど、見向きもされず廃れるだけではないでしょうか 人間が作った理論も難しすぎて廃れた例があるみたいだし

コンピュータの将棋は強いけど、それで将棋が終わったわけではないし、むしろ人間がコンピュータの将棋から学ぶことで人間がやる将棋に新しい流れがもたらされている 数学も同じだと思う 「AIの進化で数学に新しい流れが来る」って言えばいいのに「数学は終わる」って言うから敵を作るのよ

小型連休が始まる！ （5連休程度で大型なわけがない）

プログラミングをよく知らない人がなんでもPythonで書いてしまうことを好ましくないと思う人たちがいたけど、時代はプログラミングをよく知らない人がなんでもLLMを使う時代 より悪化しているともいえる

ｼｺﾞﾄ、1人抜けて回らなくなると厳しいけど、回ると「自分が抜けても大丈夫なんだ」と思わせてしまうらしい むずかしいねえ

最近1日8時間睡眠と1時間の運動を習慣にしているんですけど、これをやると残業のない職場なのにも関わらず本当に平日に仕事と生活以外の事をする時間が何も残らず、もしかして健康的で文化的な生活と仕事ってめちゃくちゃ相性が悪いのでは……？の気持ちになっている

Ryuya Horaさんの新しいホームページ、いろいろ凝っていてすごい ぼくもこういうホームページを作りたいねえ

競技プログラミングをやっている人は2^64より大きい整数を知らない[要出典]ので、ultrafinitistの素質あると思う

無限を排除する人たちの集まりがあったらしいけど、まだまだ多くの数学者に受け入れられるのは難しそう 資源には限りがあるし、おそらく宇宙の大きさも有限なので、無限は存在しないという立場の方が現実に合っていそう もちろん現実に合っていることだけすべきというわけではないが…

Quanta MagazineでDoron Zeilberger先生が取り上げられててびっくり 無限が存在しないどころか、大きすぎる自然数すら存在しないとみなすultrafinitist ぼくもultrafinitistになりたいが、甘えのため可算濃度は認めてしまう… quantamagazine.org/what-can-we-ga…

道具というのは人間を補助するためにあるべきで、人間の理解を超え出すのは好ましくない この辺りの考え方はイリイチのコンヴィヴィアリティにも関係しそうだね（知らないけど）

最近のだとPermPalという順列数え上げに関するデータベースがあって、これもコンピュータを使っているけど、これもいいと思う 詳細は知らないけどいくつかの規則に従って探索するというものなので、手計算の拡張と言えると思う その意味で人間的 permpal.com

生成AIは好きじゃないしLeanもうーんという感じなので、新しいものが嫌いな老人みたいになってるな コンピュータを用いた数学の中に好きなものと好きじゃないものがあって、SageMathとかはいいと思っています

Leanにあまり魅力を感じなくなってしまった😢

ルート系の世界が届いた！ 昔勉強していたKac-Moody代数も載っていて素晴らしい 読んでいきたい