いがりす

数学とテレビゲームとプログラミングが趣味です。

[いがりす @igaris]

ChatGPT と、数学の未来について談義した。

[いがりす @igaris]

カモシカが醸し出すかも知れない

[いがりす @igaris]

大人とな

[いがりす @igaris]

一般人が使うことがあるエクセルの機能なんてたかが知れているのだから、機能を絞ってブラウザ上でサクサク動く簡易的なエクセルがほしい。

[いがりす @igaris]

これからの数学はどうなるのだろうか。おそらく有用な概念も AI が提案することができるようになる。人間にできるのは、どんなことに有用なのかを指定することくらいか。しかし、いずれ AI が数学的活動の一切を担うようになり、人間は小学生レベルの算数ができれば事足りるようになる可能性もある。

[いがりす @igaris]

一番強力な「心」は「ヘルジュラシックの心」。間違いない。 #ドラクエ7リイマジンド

[いがりす @igaris]

AI が最新の論文を読みまくって Lean のライブラリを自動更新するといいのでは。複数の論文で定義がぶれている場合も適切に処理する。

[いがりす @igaris]

リーマン予想に反例が見つかったりしてね。ぶふふ。

[いがりす @igaris]

近いうちに数学の細かな定理の証明は粗方 AI にやってもらうようになって、人間は大きな定理の証明の指針のみを指示するようになるんだろうな。でも、そのフェーズも程なくして終了して、大きな定理の証明のみならず、予想さえも AI が担うようになる。

[いがりす @igaris]

ChatGPT、ほんの 4 年ほど前まで、2 は素数じゃないって言ってた。

[いがりす @igaris]

エレベーターを選べーたー

[いがりす @igaris]

AI がリーマン予想を解決する日も近い？

[いがりす @igaris]

デジタルデトックス

略して

デデ

[いがりす @igaris]

パフェ作った

[いがりす @igaris]

α°（アルファード）

[いがりす @igaris]

俺専グラフ

[いがりす @igaris]

青少年の健全な成長とは

[いがりす @igaris]

ニンテンドー64用ソフト「がんばれゴエモン〜ネオ桃山幕府のおどり〜」は、ラスボス戦が秘密裏に振動パックに対応していた。

[いがりす @igaris]

人間、村社会の方が生きやすいんじゃないだろうか。

[いがりす @igaris]

新しい車が欲しいが、今の車にまだまだ乗れるので、数百万も出す価値はない。諦めよう。