ソードアート・オーディナル(SAO)の公式アカウントです。公式サイト→https://nitter.gq/t.co/bnPqeMoFfT
アインクラッド第1層
Joined August 2015
- Tweets28.5K
- Following410
- Followers1.2K
- Likes22.9K
Pinned Tweet
Freighter-numberさんがHyper-Ψ関数を発表したことを受け、『ソードアート・オーディナル』(SAO)は日本時間2024年3月2日0時をもってLTSに移行します。
これ以降は、SAOへの新規機能の要望は受け付けず、バグ修正のみを行うことにします。
LTSのサービス終了時期は未定です。
googology.fandom.com/wiki/Us…
巨大数大好きbot/ソードアート・オーディナル(SAO)公式 retweeted
ja.wikipedia.org/wiki/%E3%83…
もう日本だけがどうこうじゃなくて、世界的な危機だったということで記憶されたわけだ
巨大数大好きbot/ソードアート・オーディナル(SAO)公式 retweeted
論理記号∀，∃，∧，∨，¬を授業で使われる先生方へ。
僭越ながら私の疑問です。
高校数学でこれらの論理記号を全く学ばないにもかかわらず、これらの記号を積極的に駆使して画像のような答案を作成する意義は、一体何でしょうか？
私は長年、全国規模の模擬試験の作成を担当しておりました。その仕事上多くの答案を見てきましたが、このような答案を見たことがありません。せいぜい「かつ」と「または」をそれぞれ∧，∨と書いている程度です。
またSNS上に上がっている、先生方の授業を受けたと思われる生徒の答案が、ほとんどの場合「生兵法」的です。
論理記号を使わなくても正しい答案が書けるのに、あえて授業で使う理由は何でしょうか。
#imasenの問いかけ
巨大数大好きbot/ソードアート・オーディナル(SAO)公式 retweeted
ZFCの矛盾が発見されたとして、それは「我々の数学が矛盾していた」というよりも、「実はZFCは、我々の数学の良い記述を与えていなかった」というのが恐らく妥当なので、矛盾せず数学を十全に記述できるようなZFCの公理修正・新たな公理系の模索が始まるのだと思う。
nitter.gq/yujitach/status/211540…
巨大数大好きbot/ソードアート・オーディナル(SAO)公式 retweeted
【重要なお知らせ】
本日10月30日22:30ごろ、ユーザーアカウントのセキュリティ向上のため、「パスワードで引き継ぎ」の仕様変更を実施いたしました。
「引き継ぎID」につきまして、発行後24時間を経過すると無効化されるようになります。
これに伴い、過去に発行済みの「引き継ぎID」についても、発行後24時間が経過している場合は利用できなくなります。
引き継ぎIDのみ設定されていた状態で、データ引き継ぎが必要となった際は、タイトル画面右上の「メニュー」＞「サポート」よりお問い合わせください。
ご理解のほど、よろしくお願いいたします。
※詳細はお知らせをご確認ください
#プロセカ
巨大数大好きbot/ソードアート・オーディナル(SAO)公式 retweeted
AIの生成結果をどう学術的に検証すべきか、世界中のトップ数学者・情報科学者を巻き込んだオープンな大論争へ。
もしこれが本物なら、AIが「人間の知識の限界」を自力で突破した瞬間として、教科書に載る歴史的一日になる。
巨大数大好きbot/ソードアート・オーディナル(SAO)公式 retweeted
② 完璧すぎる透明性の担保
・提案者本人たち（Impagliazzo, Paturi）とMITのRyan Williamsが主導
・NDAなし・無報酬で独立した公開検証を組織
・生データ（PDF ＆ Lean定理証明支援言語のソース）の即時公開にOpenAIが合意
・Googleドキュメント等でコミュニティ全体に参加を呼びかけ
巨大数大好きbot/ソードアート・オーディナル(SAO)公式 retweeted
① 人類未踏の領域へ
AIが単に賢いだけでなく、数学・計算機科学の「解けないとされてきた難問（P≠NPやETH周辺）」の前提を覆すレベルのブレイクスルーを達成した可能性。
巨大数大好きbot/ソードアート・オーディナル(SAO)公式 retweeted
【歴史的事件】OpenAIの内部AIモデルが、計算複雑性理論の根幹「ETH（指数時間仮説）」の反証に成功してしまった可能性が浮上。
計算機科学の歴史が書き換わるレベルの事態に、提唱者本人たちが立ち上がるガチの公開検証が始動。
OpenAI「あの、うちのAIモデルがですね…計算複雑性理論の重要仮説『ETH』を反証しちゃったみたいなんですが」
学者たち（Impagliazzo, Paturi ＆ MITライアン・ウィリアムズ）「……は？ 何言ってるの、ETHは現代コンピュータ科学の前提だぞ。見せろ」
OpenAI「はい、これが証明の生データ（PDFとLeanソース）です！」
学者たち「……待て、これマジで合ってないか……？ おい、世界中の研究者集まれ！ NDAなし・無報酬で今すぐガチの公開検証をやんぞ！！」
OpenAI「ひえっ…承知いたしました！即時公開しますし、コミュニティ向け会議のスポンサーも全額持ちます！！」
【何が起きているのか？要点まとめ】
巨大数大好きbot/ソードアート・オーディナル(SAO)公式 retweeted
PHPの件 続報②。『23時まで待てば安全』は、むしろ逆や。
さっき高市総理本人がXで異例の緊急呼びかけを出した。
「今夜、対応してほしい大至急のお願い」。
総理が直々にパッチ適用を促すて、ちょっと見たことない事態やで。
ここが最大の誤解ポイントや。
今夜23時は『安全になる時刻』やない。
23時＝修正パッチの公開時刻。
↓
パッチが出た瞬間、中身から弱点が逆算されて、攻撃が一気に本格化する。
↓
つまり23時は、間に合わんかったサイトが狙われ出す『号砲』なんや。
だから国は「すぐ当てられへんサイトは一時停止しろ」とまで言うとる。
待てばええ、やなくて、今すぐ当てるか止めるかの二択や。
あと小一時間。ワイ、張り付いて見届けるで。
PHPの緊急脆弱性、本当の勝負は今夜23時やなく、もう昨日始まっとった。
世界の約8割のサイトを支えるPHPに、認証なしで乗っ取れる欠陥（CVSS9.2）が発覚。
↓
本来は調整の上で公開する予定やった。
↓
ところが10/20、修正前に詳細が流出。
↓
攻撃ツール「PHP2Shell」が出回り、再現した会社も出た。
↓
修正は日本時間の今夜23時公開。でも「出た瞬間に解析され、一気に攻撃が来る」と警戒されとる。
↓
しかも救われるのはPHP8以上だけ。古い5・7は置き去りや。
↓
日本でもコドモンが全サービス停止、デレステも23時に緊急メンテへ。(今ここ)
ワイは今夜23時まで追うで。固唾を飲んで待っとる。
巨大数大好きbot/ソードアート・オーディナル(SAO)公式 retweeted
【各位】本日23時より、この投稿のコメント欄を全国の「リアルタイム被害・障害情報の集積プラットフォーム」とします。
PHP緊急パッチ公開に伴い、未対策サイトへの攻撃や全国的なシステムダウンが予想されます。
「いま、どこで、何が起きているのか」を可視化し、二次被害を防ぐための【緊急情報共有スレッド】としてここを開放します。
※今夜23時以降しばらくの間、本投稿をプロフィールトップに固定（ピン留め）し、避難所・観測拠点として機能させます。
ニュース報道はもちろん、ご自身の身の回りや現場で気づいた異常があれば、ぜひこのリプ欄に情報をお寄せください。
◆ 例えばこのような情報
・利用しているWebサイトやECサイトの突然の「緊急メンテナンス
・自社や自己の管理サーバーでの不審な負荷上昇やアクセス急増
・セキュリティ公式発表やニュースの最新動向 ・「障害対応」や「パスワード再設定」を騙る不審なメールの着信
⚠️ 投稿時のお願い（デマ・二次被害防止）
・二次被害防止のため「リンクを記載しない」「リンクをクリックしない」を徹底してください。
・確証のないデマを防ぐため、「確定ニュース」か「個人の観測」かを明記してください。
・自社や他社の「未対策サーバー」や「脆弱なURL」を書き込むのは悪用される危険があるためお控えください。あくまで観測された内容について注意喚起の共有です。
一般の方は「今どこのサイトで障害が起きているか」の確認に。エンジニア層は「現場での不審な挙動の情報交換」に。
ひとまずこの局面を乗り切りましょう。ブクマの上、情報収集の本拠地としてご活用ください。
#サイバー緊急事態宣言
巨大数大好きbot/ソードアート・オーディナル(SAO)公式 retweeted
PHPの緊急脆弱性、本当の勝負は今夜23時やなく、もう昨日始まっとった。
世界の約8割のサイトを支えるPHPに、認証なしで乗っ取れる欠陥（CVSS9.2）が発覚。
↓
本来は調整の上で公開する予定やった。
↓
ところが10/20、修正前に詳細が流出。
↓
攻撃ツール「PHP2Shell」が出回り、再現した会社も出た。
↓
修正は日本時間の今夜23時公開。でも「出た瞬間に解析され、一気に攻撃が来る」と警戒されとる。
↓
しかも救われるのはPHP8以上だけ。古い5・7は置き去りや。
↓
日本でもコドモンが全サービス停止、デレステも23時に緊急メンテへ。(今ここ)
ワイは今夜23時まで追うで。固唾を飲んで待っとる。