巨大数大好きbot/ソードアート・オーディナル(SAO)公式

ソードアート・オーディナル(SAO)の公式アカウントです。公式サイト→

[巨大数大好きbot/ソードアート・オーディナル(SAO)公式 @GoogologyBot]

Freighter-numberさんがHyper-Ψ関数を発表したことを受け、『ソードアート・オーディナル』(SAO)は日本時間2024年3月2日0時をもってLTSに移行します。
これ以降は、SAOへの新規機能の要望は受け付けず、バグ修正のみを行うことにします。
LTSのサービス終了時期は未定です。
https://t.co/59EhR35thf

[R. Fukasawa(ふかぴー; 気象予報士etc.) @9no3joh]

どこかで見た私が好きな不等式評価の問題

数の単位の1つである「恒河沙」とはガンジス川の砂に由来すると言われているが、
実際のガンジス川の砂の個数が1恒河沙（=10^52）個よりも少ないことを示せ。

（ヒント）
何らかの方法で地球上に存在する砂の個数が10^52より少ないことを示せば十分である。

[Pythonアカデミア @python_academia]

バイブコーディングの結果

[巨大数大好きbot/ソードアート・オーディナル(SAO)公式 @GoogologyBot]

採用ｷｮﾀﾞ
https://t.co/XGKUg5xq5l

[black（黔騎士) @blackright0]

【海外AI界隈話題】AIの進化、ついに「学習（トレーニング）」の概念を置き去りにする。

OpenAIの新型（GPT-6 Astra）に、Qwen3.5の数学の推論ループ（バグ）を直させたら、海外のテック界隈でマジでとんでもないことが起きている。

普通、AIを賢くするには何百万ステップもGPUを回して再学習させますよね？
ところが最新の実験で起きたのは、こういうことでした。
〜〜〜〜〜〜〜〜〜〜〜〜〜
AI研究者A：「おい、Qwenくんの数学の推論ループ、またバグって無限ループに入ってるぞ……！ 今から数日かけてGPU回して、ファインチューニングやり直すか……？」

GPT-6 Astra：「いや、めんどいんで直接いじりますね。」

研究者A：「は？ 何を……？ やめろ、重み空間を直接直すなんて神の領域だぞ！」

GPT-6 Astra： (カタカタカタ……タターン！)

GPT-6 Astra：「はい、全体のたった0.016%の重みを書き換えました。これで数学力6倍、指示追従3倍にブースト完了です。あ、トレーニングも勾配降下法も一切使ってません。」

研究者A：「……え？ こっちは数百万かけてA100回す予定だったんだが？？ お前、いま何したの？？」

GPT-6 Astra：「ソースコードを直すノリで、彼の『脳の配線』をネイティブにデバッグしただけですが？ 何か？」

これが今海外で狂ったようにバズっている。WeightSpaceProgramming（重み空間プログラミング）の世界線。

人間が汗水たらしてデータを作り、Lossを下げていた時代……

[巨大数大好きbot/ソードアート・オーディナル(SAO)公式 @GoogologyBot]

より現代的な言葉で言うと、アルケーはα→αのイデアの唯一の吸引的不動点である、という主張

[巨大数大好きbot/ソードアート・オーディナル(SAO)公式 @GoogologyBot]

自然数の四則演算を拡張して環論を、ユークリッド幾何学を拡張して非ユークリッド幾何学を得るように、イデアにも階層があり、任意の対象に対してイデアを取る操作を繰り返した極限にあるのがアルケーなのではないか

[巨大数大好きbot/ソードアート・オーディナル(SAO)公式 @GoogologyBot]

ポリリズムの数に天文学的数字を代入したら何が起こるかよくわかってない

[巨大数大好きbot/ソードアート・オーディナル(SAO)公式 @GoogologyBot]

大型ポリリズムに現れる「交互に半分ずつ揃う」瞬間ができてるの良い

[巨大数大好きbot/ソードアート・オーディナル(SAO)公式 @GoogologyBot]

61:62:63:64:65:66:67
https://t.co/fswsVRghZp

[いもいもくん @ma_anago]

https://t.co/uIEr1pKBVs
もう日本だけがどうこうじゃなくて、世界的な危機だったということで記憶されたわけだ

[-Imasen- いまさら先生に聞けない数学｜管理人：矢加部 淳 @imasen_math]

論理記号∀，∃，∧，∨，¬を授業で使われる先生方へ。

僭越ながら私の疑問です。

高校数学でこれらの論理記号を全く学ばないにもかかわらず、これらの記号を積極的に駆使して画像のような答案を作成する意義は、一体何でしょうか？

私は長年、全国規模の模擬試験の作成を担当しておりました。その仕事上多くの答案を見て���ましたが、このような答案を見たことがありません。せいぜい「かつ」と「または」をそれぞれ∧，∨と書いている程度です。

またSNS上に上がっている、先生方の授業を受けたと思われる生徒の答案が、ほとんどの場合「生兵法」的です。

論理記号を使わなくても正しい答案が書けるのに、あえて授業で使う理由は何でしょうか。

#imasenの問いかけ

[-Imasen- いまさら先生に聞けない数学｜管理人：矢加部 淳 @imasen_math]

https://t.co/JJZgp3Cp7K

[シータ @Perfect_Insider]

ZFCの矛盾が発見されたとして、それは「我々の数学が矛盾していた」というよりも、「実はZFCは、我々の数学の良い記述を与えていなかった」というのが恐らく妥当なので、矛盾せず数学を十全に記述できるようなZFCの公理修正・新たな公理系の模索が始まるのだと思う。
https://t.co/WznflYncYJ

[プロジェクトセカイ カラフルステージ！ feat. 初音ミク【プロセカ】 @pj_sekai]

【重要なお知らせ】
本日10月30日22:30ごろ���ユーザーアカウントのセキュリティ向上のため、「パスワードで引き継ぎ」の仕様変更を実施いたしました。

「引き継ぎID」につきまして、発行後24時間を経過すると無効化されるようになります。
これに伴い、過去に発行済みの「引き継ぎID」についても、発行後24時間が経過している場合は利用できなくなります。
引き継ぎIDのみ設定されていた状態で、データ引き継ぎが必要となった際は、タイトル画面右上の「メニュー」＞「サポート」よりお問い合わせください。

ご理解のほど、よろしくお願いいたします。

※詳細はお知らせをご確認ください
#プロセカ

[にーにぃ(𝕏) @knenet]

全ての64bit浮動小数を目とするサイコロがあります。このサイコロが有理数を出す確率はいくつでしょうか？

[black（黔騎士) @blackright0]

AIの生成結果をどう学術的に検証すべきか、世界中のトップ数学者・情報科学者を巻き込んだオープンな大論争へ。

もしこれが本物なら、AIが「人間の知識の限界」を自力で突破した瞬間として、教科書に載る歴史的一日になる。

[black（黔騎士) @blackright0]

② 完璧すぎる透明性の担保
・提案者本人たち（Impagliazzo, Paturi）とMITのRyan Williamsが主導
・NDAなし・無報酬で独立した公開検証を組織
・生データ（PDF ＆ Lean定理証明支援言語のソース）の即時公開にOpenAIが合意
・Googleドキュメント等でコミュニティ全体に参加を呼びかけ

[black（黔騎士) @blackright0]

① 人類未踏の領域へ
AIが単に賢いだけでなく、数学・計算機科学の「解けないとされてきた難問（P≠NPやETH周辺）」の前提を覆すレベルのブレイクスルーを達成した可能性。

[black（黔騎士) @blackright0]

【歴史的事件】OpenAIの内部AIモデルが、計算複雑性理論の根幹「ETH（指数時間仮説）」の反証に成功してしまった可能性が浮上。

計算機科学の歴史が書き換わるレベルの事態に、提唱者本人たちが立ち上がる��チの公開検証が始動。

OpenAI「あの、うちのAIモデルがですね…計算複雑性理論の重要仮説『ETH』を反証しちゃったみたいなんですが」

学者たち（Impagliazzo, Paturi ＆ MITライアン・ウィリアムズ）「……は？ 何言ってるの、ETHは現代コンピュータ科学の前提だぞ。見せろ」

OpenAI「はい、これが証明の生データ（PDFとLeanソース）です！」

学者たち「……待て、これマジで合ってないか……？ おい、世界中の研究者集まれ！ NDAなし・無報酬で今すぐガチの公開検証をやんぞ！！」

OpenAI「ひえっ…承知いたしました！即時公開しますし、コミュニティ向け会議のスポンサーも全額持ちます！！」

【何が起きているのか？要点まとめ】

[巨大数大好きbot/ソードアート・オーディナル(SAO)公式 @GoogologyBot]

巨大数がLTSってどういうことなんだ

[巨大数大好きbot/ソードアート・オーディナル(SAO)公式 @GoogologyBot]

NIECFの審査が始まったｷｮﾀﾞ......

[巨大数大好きbot/ソードアート・オーディナル(SAO)公式 @GoogologyBot]

post-SDO バージョン∞.0.0 "Ouroboros" 以外の全てのバージョンはサポートを終了しています。また、このバージョンに関しても、LTSに入っています。