数学の問題文に猫の豆知識を混ぜるとAIのエラーが300％増加する
近年の大規模言語モデル(LLM)は、複雑な問題を段階的に解き明かす「推論モデル」の登場により、数学やコーディングの分野で目覚ましい性能向上を遂げています。しかし、その頑健性、つまり予期せぬ入力への耐性については、まだ十分に解明されていません。スタンフォード大学やCollinear AIなどの研究者チームが、「数学の問題に全く無関係な猫の情報を挿入することでLLMが混乱する」という研究結果を発表しました。 [2503.01781] Cats Confuse Reasoning LLM: Query Agnostic Adversarial Triggers for Reasoning Models https://arxiv.org/abs/2503.01781 ScienceAdviser: Cats confuse AI | Science | AAAS https://www.scie
線形代数を学ぶ理由 - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? はじめに 少し前(2019年4月頃)に、「AI人材」という言葉がニュースを賑わせていました。「現在流行っているディープラーニングその他を使いこなせる人材」くらいの意味だと思いますが、こういうバズワードの例の漏れず、人によって意味が異なるようです。併せて「AI人材のために線形代数の教育をどうするか」ということも話題になっています。 線形代数という学問は、本来は極めて広く、かつ強力な分野ですが、とりあえずは「行列とベクトルの性質を調べる学問」と思っておけば良いです。理工系の大学生は、まず基礎解析とともに線形代数を学ぶと思います。そして、何に
数学の勉強のやり方
はじめにお前は誰やねん解析学を研究している博士課程の2年生。 この記事の目的もし大学1年生の自分に会えたら数学の勉強についてアドバイスしたいことがいくつかあるので、それを簡単にまとめたい。現在進行形で学部生をやっている人の参考になれば嬉しい。ただし、あくまで個人的な考えであり、視点が偏っているので、鵜呑みにはしない方が良い。 最初にやるべきことできる限り早い段階で集合と写像の言葉を覚えよう。微分積分や線形代数より先にこちらをやった方が良い。そもそも集合と写像の言葉は大学数学をやっていくうえで必要不可欠であり、微分積分や線形代数さえこれらの知識がなければ十分には理解できない。それから、定義に従って厳密に議論できるようにならなければ、そもそも大学数学のスタートラインにさえ立てない。集合と写像の勉強はその習得に適していると思う。 ちなみに、僕がこの「スタートライン」に立てたのは学部1年後期だった
エラトステネスの篩の高速化 - Qiita
世の中に多くあるエラトステネスの篩の実装、多くあるくせにちょっとしか高速化してないのが悲しいので高速化エラトステネスの篩を書いてみることにします。 エラトステネスの篩の高速化 (1) ← 今ココ エラトステネスの篩の高速化 (2) エラトステネスの篩の高速化 (3) エラトステネスの篩の高速化 (4) エラトステネスの篩の高速化 (5) エラトステネスの篩の高速化 (6) エラトステネスの篩の高速化 (7) 問題設定 とりあえず C++11 くらいで動く物を作りたいと思います。インラインアセンブラや SIMD、並列化は明示的には入れない方針です。あと、エラトステネスの篩自体の高速化を目指すので、結果は一部の具体的な素数の確認と $\pi(x)$ の値で確認することにしますし、その時間は考慮しないことにします。 また、ライブラリ的に使えるよう、将来的には区間篩 (大きな $x$ に対して $
否定文を理解できないAIたち - ｼﾞｮｲｼﾞｮｲｼﾞｮｲ
BERT や GPT の登場により、テキストを扱うモデルは大きく発展しましたが、否定というごくありふれた操作を扱うのが依然難しいです。 本稿では、その理由と、部分的な解決策を紹介します。 目次 目次 否定文を理解できないAIたち 否定文を理解できずに困ること なぜ否定文をうまく扱えないのか なぜたまに成功するのか 対処法 ファインチューニング プロンプトの工夫 否定文を意識した訓練 文書数を増やす クエリとキーを拡張する おわりに 否定文を理解できないAIたち BERT (tohoku-nlp/bert-base-japanese-v3) で A =「私はお寿司が好きです。」 B =「私の好きな食べ物はお寿司です。」 のテキスト埋め込みのコサイン類似度を求めてみましょう。A と B は同じようなことを言っており、予想されるようにコサイン類似度は 0.9695 と高いです。 では、 A =「
折り紙 美しさを超えて | NHK
長野県大町市に住む折り紙作家 布施知子さん。 これまでに制作した作品は国内だけでなく、世界中から評価され注目を集めています。 今、制作した折り紙の技術が教育や産業などさまざまな分野の可能性を広げています。 彼女の折り紙の世界を取材しました。 「無限折り」「螺旋」「コイル折り」 世界的に評価を受ける作品たち 流れゆく川を表現した、この作品。 実はこれ、20メートルの1枚の紙から出来ています。 無数の折り目を、複雑に重ねる「無限折り」という技法で作られました。 制作したのは大町市に住む折り紙作家の布施知子さん。 37年前に、自然に囲まれた山あいの古民家に移住し、個性あふれる作品を世に送り出してきました。 何重にも細かく規則的に折り続けることで生み出す「螺旋」。 筒状にした紙を、つぶしながら折り込んだ「コイル折り」 その作品はヨーロッパ各地で個展が開かれるなど、海外からも高い評価を受けています。
リー群。ゆっくりと反芻してみる。間違いない。 まさか場末の街コンで、..
リー群。ゆっくりと反芻してみる。間違いない。 まさか場末の街コンで、この単語を耳にする日がまた来るとは。 変換や対称性を体系的に扱うための数学的なフレームワーク。そして私の専攻分野だったもの。 「ヴォーガンの分類理論では、単純リー群の既約表現が極大コンパクト群で分解されると思いますが、分岐則の立場から見ると、極大トーラスに既約表現を制限したときの分規則の端が分類の不変量として用いられるじゃないですか」 男がギョッとしてこちらを振り向く。 「ブリリンスキー－柏原の分類理論との関連性がよく分からなくて……りーくんさんならご教示いただけるかと思い」 男の目が泳ぎ出す。小馬鹿にしきった笑みはいつの間にか消えている。一体どこからどう説明を始めればいいのか分からない顔。 物心ついた頃から、こんな顔を数えきれないほど見てきた。女は大学に行く必要はないと言い切った父親、数学コンクールに女が出るなんてと吐き
バッハの曲を数学的に分析 “情報量が多く効果的に伝達している”と判明 米研究者らが検証
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 Twitter: ＠shiropen2 ペンシルベニア大学などに所属する研究者らが発表した論文「Information content of note transitions in the music of J. S. Bach」は、音楽作品を情報ネットワークへと変換し、作品が内包する情報量と伝達効率を調査した研究報告である。この研究では、バッハの楽曲を情報ネットワークとしてモデル化し、楽曲が持つ情報量とその情報をいかに効率よく伝達するかを定量的に評価する。 手法の第一歩として、楽曲の各音符をネットワーク上のノードとして捉え、音符間の遷移をエッジで結び付けている。このエッジは指向
「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート - tkgshn
それはそうと、軽量な形式手法たる型システム含む形式手法は記号の世界の中での正気はちゃんと証明してくれるが、人間様が頭を捻って作られた、自然言語で書かれた仕様とやらは一体何の正気を保証してくれるんだろう
数学の未解決問題「アインシュタイン問題」が解決？ 1つの図形だけで敷き詰めても“周期性が生まれない”
Innovative Tech： このコーナーでは、テクノロジーの最新研究を紹介するWebメディア「Seamless」を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。Twitter: ＠shiropen2 英国の数学者らと、カナダのウォータールー大学と米アーカンソー大学に所属する研究者らが発表した論文「An aperiodic monotile」（プレプリント）は、繰り返しパターンを作らず、2次元の表面を無限に敷き詰めることができる単一のタイル形状を発見した研究報告である。 このような図形を非周期的なタイルと呼び、2次元の平面にタイルを隙間なく敷き詰めるが決して周期的ではない形状を指す。 非周期的なタイルの最初の集合は、1966年に発見された2万種類以上のタイルの組み合わせだった。その後、タイルの種類を減らす方向に研究が進んだ結果、最も有名な非周期的なタ
生き物の形、遺伝子によらず幾何学的に決まる仕組みを発見 金沢大など | Science Portal - 科学技術の最新情報サイト「サイエンスポータル」
サイエンスクリップ 生き物の形、遺伝子によらず幾何学的に決まる仕組みを発見 金沢大など 2022.05.09 草下健夫 ／ サイエンスポータル編集部 昆虫の目の多くは六角形の小さなレンズ「個眼」がびっしり集まった複眼だが、どうして六角形になるのだろう。そういえばハチの巣も、六角形の穴が集まっている。こうした自然界が織りなす図形の不思議に斬り込み、2つの単純な力で幾何学的に決まる仕組みがあることが、ハエの目を使った実験で分かった。金沢大学などの研究グループが明らかにした。遺伝子が関わっていない面白さがあるという。 六角形に四角形…どうして 生活を見渡すと、お風呂のタイル、ブロック塀、ボードゲームの升目などなど、同じ形が敷き詰められたパターンはわりと四角形が目につく。これに対し生物界では、冒頭に挙げたように六角形が多いという。この理由は、六辺の長さの合計が短くしかも構造が強くなるため、低コスト
数理最適化の参考書
専門家が執筆した数理最適化の書籍を紹介しています． 適当に書籍を並べただけですので内容については各自で確認をお願いします． 数理最適化全般 数理最適化の概観を知りたい人向け 穴井宏和，数理最適化の実践ガイド，講談社，2013． 数理最適化を現実問題の解決に活用するプロセスを知りたい人向け 岩永二郎，石原響太，西村直樹，田中一樹，Pythonではじめる数理最適化（第2版） ―ケーススタディでモデリングのスキルを身につけよう―，オーム社，2024． 三好大悟，Excelで手を動かしながら学ぶ数理最適化：ベストな意思決定を導く技術，インプレス，2023． 株式会社ビープラウド，PyQチーム，斎藤努，Pythonで学ぶ数理最適化による問題解決入門，翔泳社，2024． 数理最適化を初めて学ぶ人が手に取る入門書 福島雅夫，新版 数理計画入門，朝倉書店，2011． 久野誉人，繁野麻衣子，後藤順哉，数理最
カリフラワー特有の「フラクタル構造」が生まれるメカニズムが解明される
カリフラワーやロマネスコのつぼみは数学的に「フラクタル」と呼ばれる性質を持つ形状であることがよく知られています。フランス国立科学研究センター(CNRS)の研究チームが、カリフラワーのフラクタル構造が発生する遺伝子のメカニズムを解明したという論文を発表しました。 Cauliflower fractal forms arise from perturbations of floral gene networks | Science https://science.sciencemag.org/content/373/6551/192 Why do cauliflowers look so odd? We've cracked the maths behind their 'fractal' shape https://theconversation.com/why-do-cauliflower
「ぷよぷよは計算困難」―パズル・ゲームと最適化アルゴリズム― – Ono Laboratory
はじめに 最近，「一般化ぷよぷよのより強い計算困難性」なる研究を発表しました（東北大学の江藤宏先生，九州大学の木谷裕紀先生との共同研究．国内研究会であるゲームプログラミングワークショップで江藤先生による口頭発表．2021年12月30日現在，pdfはここから取れます）． これは有名なビデオゲーム「ぷよぷよ」を一人用のパズルと見立てたとき，かつそれを一般化した場合，どの程度難しいものであるのかを（最適化）アルゴリズム論的に分析したものです．今回「最適化技術の応用・実践」に関する記事を集めよう，ということになりましたので，ちょうどよい題材ということで，この研究をより一般向けに解説してみようと思います．一般向けですので証明自体には踏み込まず，既存の定理と得られた定理の意義をおよそわかっていただくことをこの記事の目標とします．ただし「ぷよぷよ」について関してはおよそルール等がわかっている方を対象とし
アルゴリズムと数学の本を書きました - E869120's Blog
1. はじめに こんにちは、はじめまして。東京大学 1 年生の米田優峻（E869120）と申します。私は競技プログラミングが趣味で、AtCoder や国際情報オリンピックなどの大会に出場しています1。2021 年 11 月時点で、AtCoder では赤色（レッドコーダー）です。また、2020 年以降、アルゴリズムを学べる以下のようなコンテンツや資料を作成してきました。 レッドコーダーが教える、競プロ上達ガイドライン 競プロ典型 90 問 50 分で学ぶアルゴリズム さて、このたびは技術評論社から、書籍を出版させていただくことになりました2。アルゴリズムと数学が同時に学べる新しい入門書です。 「アルゴリズム×数学」が基礎からしっかり身につく本 - amazon 発売日は今年のクリスマス、2021/12/25 です。電子書籍版も同時期に出る予定です。本記事では、この本の内容と想定読者について、
【快挙】国際数学オリンピックで日本代表全員のメダル獲得（金1銀2銅3）が決定「ガチで凄い」「もっと大きく報道して欲しい」
ごちすう(ご注文は数オリですか？) @gochisuu 偶然にも日本中が五輪の幕開けに沸いている中ですが、先日リモートで開かれた第62回国際数学オリンピック(ロシア大会)において、今年も日本選手全員のメダル獲得(金1銀2銅3)が決定しました！特に金メダルは2年ぶりの奪還です！みんな本当におめでとう！そしてお疲れ様！2年後はここ日本での開催です！ 2021-07-23 22:12:36 リンク Wikipedia 国際数学オリンピック 国際数学オリンピック（こくさいすうがくオリンピック、英: International Mathematical Olympiad, IMO）は、毎年行われる高校生を対象とした数学の問題を解く能力を競う国際大会である。 テストは2日間あり、出場者は各1日4時間30分で、3問ずつ挑戦する。各問題は7点満点で採点され、満点は42点である。採点の結果、上位1/12位に
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.math.sci.hiroshima-u.ac.jp/KOUKAI/text-h18/Sound.pdf
【やじうまPC Watch】 “三途の川”を数学的に定義。東大
セガが社内勉強会の資料を無償公開 ～数学は不要？ 断じて否、ゲーム開発ではバリバリ使うぜ！／PDFドキュメントで150ページ超の大分量。ラスボス概念「クォータニオン」に挑め！【やじうまの杜】
中学1年生が「数学をなんで学ばなくてはいけないの？いつ役に立つの？」と聞いてきた時、どう答えたら納得させられる？
