「名誉教授」のスレ 9

今時てw
いつなら良かったのか…。

>>777
ふっ

AI時代の数学は、コンピューターソフト開発の
バイブコーディングと同じ（下記）

数学科オチコボレさん <<　高卒＋数学AI = バイブmath！ ｗ（＾＾

(参考)
https://ja.wikipedia.org/wiki/%E3%83%90%E3%82%A4%E3%83%96%E3%82%B3%E3%83%BC%E3%83%87%E3%82%A3%E3%83%B3%E3%82%B0
バイブコーディング（英:Vibe coding、別名、雰囲気コーディング[1][2]）はAI支援ソフトウェア開発（英語版）の一種で、ソフトウェア開発者がプロジェクトやタスクを、コーディングに特化した大規模言語モデル（LLM）へのプロンプトとして自然言語で記述する。LLMによるソフトウェアの生成が可能となったことで、プログラマの役割は手作業によるコーディングから、AIがソースコードを生成する際のガイドと生成したコードのテスト・改良へと変化してきている[3][4][5]。そのためバイブコーディングの支持者は、これまでソフトウェア工学で必要とされてきた広範なトレーニング経験やスキルを持ち合わせていない素人のプログラマであってもソフトウェアを作成できると主張している[6]。

この用語は2025年2月に、OpenAIの共同創設者であり、テスラの元AIリーダーであるコンピュータ科学者のアンドレイ・カーパシーによって提唱された[7][8][9][10]。翌月にはウェブスター辞典の「スラングとトレンド」に名詞として掲載された[11]。また、2025年の『コリンズ英語辞典』における今年の言葉（Word of the Year）にも選ばれた[12][13]。

高卒＋数学AI = 高卒が自分の直感に反するAIの発言をハルシネーションと罵倒する狂態

>>779　白知騒ぐ

やまいだれをつけないのは、病気ではないから

>>782
他に支持してるとこあんの？

いつなら良かったのかに、明確に答えていないよね。
ずっとダメなのかねw

>>781
>高卒＋数学AI = 高卒が自分の直感に反するAIの発言をハルシネーションと罵倒する狂態

ふっ
前にも書いたが、大学数学科で アカデミックポストは 圧倒的に 東大京大卒が多い
それ以外の数学科卒の就職先は、AI時代の前は IT企業とかあったわけだ

ところが、AI時代は 下記
「マイクロソフト、全従業員の4分の1超に「退職の道」…報道の約6万人が示す異変とは？」
が、示すように 従来人間のプログラマーの仕事は AIに置き換わりつつあるってことで

これの類似が、いまいま数学のAI化で起こりつつあるってことだな
それが タオのMath2.0よ

数学科卒→プログラマー いらね
数学科卒→厳密思考できます いらね（数学AI+Leanでまにあっている）
東大京大→アカデミックポスト これは残ると思うが ポストの数は減るかも

(参考)
https://www.sbbit.jp/article/cont1/187925
ビジネス＋IT
会員限定 2026/10/29
マイクロソフト、全従業員の4分の1超に「退職の道」…報道の約6万人が示す異変とは？

マイクロソフトは10月26日（米国時間）、任意で期間限定の「Voluntary Exit Offer（自主退職オファー）」を導入したと発表した。カナダ、インド、英国、米国の参加組織で、レベル70以下の従業員が対象となる。公式ブログに人数の記載はないが、ロイターは関係者の話として約6万人、全従業員の4分の1超が対象と報じた。

マイクロソフトは自主退職オファーを公式ブログで発表した
（出典：マイクロソフト）
　マイクロソフトは10月26日（米国時間、日本時間では27日）、「Voluntary Exit Offer（自主退職オファー）」を導入したと発表した。同社の公式ブログで明らかにした。最高人事責任者（Chief People Officer）のエイミー・コールマン氏が社内に向けて伝えた連絡を、外部向けに編集して公開したものという。

　対象は、カナダ、インド、英国、米国の参加組織に所属するレベル70以下の従業員。期間限定の任意の制度で、対象者は金銭的な支援とキャリア計画の支援を受けて同社を離れる道を選べるという。参加する組織としない組織があり、各事業の優先事項や顧客との約束、人員の必要性によって異なると説明している。対象者には、条件の詳細へのリンクを記したメールを数時間以内に送るとした。

　同社は今年前半に実施した「Voluntary Retirement Program（自主退職プログラム）」で得た教訓を踏まえた制度と位置付けている。コールマン氏は、社外での将来を考えている従業員に、支援を受けながら今その転身を選べる新たな選択肢を示すとともに、参加組織にとっては人員を変化するニーズに合わせる別の手段になると述べた。

　公式ブログには、対象の人数や金額、応募期限の記載はない。一方、ロイターは同日、関係者の話として、約6万人が対象で、全世界の従業員の4分の1超に当たると報じた。

決算を発表したばかりの同社が、なぜ全従業員の4分の1超に退職の道を示したのか。公式ブログが語らない背景には、過去の施策との規模の落差と、巨額のAI投資の重みがある。

>>786 タイポ訂正

これの類似が、いまいま数学のAI化で起こりつつあるってことだな
　↓
これの類似が、いま数学のAI化で起こりつつあるってことだな

補足すると
・タオのMath2.0 の具体的内容が、固まっていないが
・いまのMath1.0 なら 「Math1.0の仕事は 数学AIで間に合う」という時代になるだろう
　（数学AIをエージェントとして使える人が Math2.0レベルってことだろうね）