箱星 : 探究

週記アーカイブ (2024/02/23-2024/02/29)｜箱星 sizu.me/hakoboshi/post…

SpringerからIntuitionistic Analysisが発売されたっぽい 構成的な数学、したい link.springer.com/book/10.1007/9…

組合せ論サイト「組合せ論、楽しい！」改修計画 ・Natori：6月末までに改修を終えて、9月から再開予定（改修が間に合う気がしない） ・くみあラボ：大幅リニューアル予定（今までのは消えるかも） ・いーしー部！：マンガを増やしたい ・Math 人：消えるかも ・ギャラリーを追加予定

去年のゴールデンウィークは黄金比とグラフ理論の話をしてました

やりたいこといっぱいあるのに全然できてない！😭

AIが出力した情報を確かめないのは、提供された生ハンバーグを焼かずに食べるのと似ているかも どちらも利用者の良識に任せているが、限界がある

> D進するかどうか迷う時点でD進した方がいい人材 社会人になってもD進のことを考えてしまうぼくはどうすれば

カスみたいなAIの話題にいちいちお気持ち表明するべきではないんだけど、流れてくるのでついついやってしまう これからは自制して楽しい話題をお届けしていきたい

ゴールデンウィークは嬉しいけど、どうせ目を閉じて開けたころには終わってる

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

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

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

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

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

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

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

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

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

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

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

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