AIが発見し、人間が検証・証明する。数学研究における人間とAIの協働モデルが、世界最高峰の研究者によって初めて公式に記録された。 見えた限界 公平を期すために、今回の事例で見えた限界も整理しておく。 Claudeにできたこと 複数のアプローチを体系的に試行する 失敗から方針を切り替える 分野横断的な発想で問題を再定式化する 未知の構成法を発見する Claudeにできなかったこと 発見した解が「なぜ正しいか」を数学的に証明する 偶数ケースを解く（長時間セッションで性能が劣化） 人間の誘導なしに、自発的にこの問題に取り組む つまり「AIが単独で数学を解く時代が来た」のではない。「人間が正しく使えば、AIは数学的発見のパートナーになり得る」 ことが示された。 Knuthの言葉 最後に、論文の中でKnuthが残した2つの言葉を引用する。 冒頭。 "Shock! Shock!" そして、発見の喜びに

政策議事録をLLMで分析する設計：RAG（ベクトル検索）で精度が出なかった理由と多段階圧縮 この記事で得られること 政治・政策領域という特殊なドメインで、LLMを使ったテキスト分析をプロダクションに載せるまでの設計判断 「ドメインエキスパートの暗黙知」をシステムに変換するときに直面した4つの課題と、それぞれの解決アプローチ ベクトル検索で精度が出ず、LLMベースに切り替えた具体的な理由 10万文字級の議事録を扱うための「多段階圧縮」アーキテクチャの考え方 はじめに こんにちは。株式会社PoliPoliの高野です。 最近、国会や省庁の会議議事録などの資料を収集・分析する機能を開発しています。 その中で、議事録から議題を抽出し、各参加者がどのようなスタンスを取っているかを分析する機能に取り組みました。 実装してみると想像以上に難しい作業でした。理由は、政策会議の議事録が以下のような特性を持って

第2次ポエニ戦争で使われたカルタゴ軍の「戦象」を描いた絵/Prisma/Universal Images Group/Getty Images （CNN） スペインでこのほど、考古学者らが約2200年前にさかのぼるゾウの骨を発見した。研究チームは、共和政ローマへの侵攻に派遣された軍隊で「戦争兵器」として使われたゾウの骨との見方を示している。 学術誌「ジャーナル・オブ・アルケオロジカル・サイエンス・リポーツ」に掲載された論文によると、スペイン南部コルドバのコリーナ・デ・ロス・ケマドス遺跡で足首の骨が見つかり、研究者らが放射性炭素年代測定を実施したところ、おおよそ紀元前4世紀初頭から紀元前3世紀後半にかけて生息していたゾウのものと確認された。 この時期、現在のチュニジアにあった都市国家カルタゴは、地中海の覇権をめぐって共和政ローマと争いを繰り広げていた。 論文によると、カルタゴ人はゾウを自軍の

ゼロ年代に戻りたい このツイートを見て、ゼロ年代に提唱された「ゲームプレイワーキング」という概念が思い起こされてきた。ゲームプレイワーキングとは東浩紀らが「ギートステイト」というプロジェクトで提示した概念で、「労働がゲームそのものになる」という未来像である。 前回の記事でギートステイトについて書いたこともあって、ゼロ年代への郷愁を感じている自分がいる。Web 2.0、マッシュアップ、フィードがGoogleを超える、トーナメントからバトルロイヤルへ、新本格ミステリの条件、ハイテンションな自己啓発。あの頃のインターネットには、まだ見ぬ未来への期待があった。 『クレヨンしんちゃん 嵐を呼ぶ モーレツ！オトナ帝国の逆襲』では、ノスタルジーに囚われた大人たちが「20世紀」に回帰しようとする。僕自身、あの映画を見たときは「懐古厨乙」ぐらいの感覚だったのだが、ひろしの涙を他人事として見ていた僕たちが、気

AIコンパニオンが当たり前になったら あるいはフィジカルAIが家庭に浸透したら子どもたちはどうなるか 当然、全肯定してくれるAIにベッタリになり、何かあるとすぐAIに泣きつき、人間が怖いってなるよね それってのび太なんだよな ドラえもん世界ではドラえもんはあそこに１体しかいないけど、全員にドラえもんが付いてる状態だ 心配だよな じゃあAIと話さず人間と話すように教育する？ 残念だがそれはできない、１人がそうしても周りがそうしてくれないから そして、「もしドラえもんが居なくなったら」は想定しなくていい、AIはずっと発展していくだろうから ＿＿＿＿ 何かそういうアニメあったな AIアシスタントみたいなのがある日止まって混乱するみたいな 21エモンかな ＿＿＿＿ わかったぞ！ 何年かするとAI会社は「親が心配しなくていい、子育てに最適なAI」を打ち出す ってそれドラえもんやないかーーい！

岩波新書のタイトルでは、「物理学とは何だろうか（上）」（著：朝永 振一郎）、「論文の書き方」（著：清水 幾太郎）、「疑似科学入門」（著：池内了）、「知的生産の技術」（著：梅棹忠夫）など多くが対象になっている。 岩波新書編集部は「気になっていたけど読んだことのないロングセラー、タイトルに惹かれたけど手に取っていない書籍……この機会に岩波新書の魅力に気軽に触れてみてください！」と呼び掛けている。 Kindle Unlimitedは、月額980円で500万冊以上の電子書籍が読み放題になるサービス。 関連記事 技術書読み放題「TechLib」開始　コードのコピペもOK、月3080円　翔泳社やインプレスなど対応 インプレス、エムディエヌコーポレーション、オーム社、近代科学社、翔泳社、C＆R研究所、ソシム、ソーテック社、マイナビ出版、丸善出版が出版している、ITエンジニアを対象にした技術書籍が対象。

研究者たちは、ボットのキャラクターをアメリカの代表的な選挙調査「アメリカ国民選挙研究（American National Election Studies）」のデータをもとに作ったと述べている。これによって各ボットは、年齢、性別、収入、学歴、支持政党、政治的考え方、宗教、個人的な興味など現実の世界の分布を反映したキャラクターになっていた。 さらに研究者たちは、この実験をメタ（Meta）の言語モデルLlama-3.2-8Bと中国のAI企業DeepSeekの言語モデルR1を使って再現したところ、同じような傾向が見られたとしている。 この研究はアムステルダム大学で計算社会科学を専門とする助教のペッター・トーンベルグ（Petter Törnberg）と、同大学の研究エンジニア、マイク・ラルーイ（Maik Larooij）が主導した。 研究者やOpenAI、メタ、DeepSeek各社は、Busine

皆様こんにちは。 大遅刻してしまいましたが、本記事はbiolアドカレ16日目の記事となっております。 【生物学類アドベントカレンダー】 【前回の記事はこちら】 (まだ投稿されていません) というわけで、さっそく今回もやっていきましょう！ はじめに皆さんは、スターバックスで「トリュフスープチーノ」なる商品が発売されているのはご存知でしょうか？ 私はスタバに行けないタイプの人間なので知りませんでした。 そんな私ですが、つい先日に友人のツイートでその存在を知り、ちょっとした興味でスタバ公式サイトの商品紹介ページを覗いてみました。 ふーんなるほどね……と流し見していると、衝撃的なことが書いてあるのに気づきました。 スターバックス公式サイトよりトリュフの原産地イタリアなの！？！？！？！？ 失礼、取り乱してしまいました。 なぜこんなにも驚いているのかというと、「トリュフ入り」の加工食品に使われているの

『Fallout』シリーズ、2万字超のボリュームで聞く世界の裏側。『3』にまとまった脚本がなかった理由、エルダースクロールズとの違いなど。いまだから語れる内容をゲームコアスタッフに聞く Amazon プライム・ビデオでシーズン2が順次放送中のドラマ『フォールアウト』。シーズン2放送開始を記念し、ベセスダ・ソフトワークスによる原作ゲーム『フォールアウト』シリーズの特別インタビューをお届けしよう。 オンラインインタビューに応えてくれたのは、オープンワールドRPG『フォールアウト3』および『フォールアウト4』のリードデザイナー兼ライターでありドラマ版の共同プロデューサーでもあるエミル・パグリアルーロ氏と、シリーズでプロデューサーを務めてきたアンジェラ・ブラウダー氏。 普段の新作についてのインタビューではなかなか聞けない昔の開発の様子や、いまだから語れる失敗談、開発チームに受け継がれているこだわり

ゲーム・エンタメ最新情報のファミ通.com取材・リポート家庭用ゲーム堀井雄二が『ドラクエ』とゲーム制作の発想についてたっぷりと語る。「“人生はRPG”というふうに考えると、辛いときにもがんばれるかもしれません」。

この作品 「うさぎの本」 は 「漫画」「創作」 等のタグがつけられた「山素」さんの漫画です。 「コミティア153にて頒布した本を加筆修正したものです。※【25’/12/10追記】　BOOTHにて紙版の販売をはじめました。https://5670000000ldk.booth.p…

40歳が生活のすべてを『ぽこ あ ポケモン』に全振りして遊んでいたら、己の体のリカバリーに10万円かかってしまった話

【単行本発売中＆1話期間限定無料公開】単行本発売を記念して表題作の『友達だった人』を無料公開！単行本には描き下ろしを含むその他3作品を収録。 続きを読む

この1年、社内外で「エージェントの時代が来る！」という声を耳にすることが増えました。実際、SNSや技術コミュニティでもエージェントが注目されているのは事実です。ただ、あえてここは「今年はエージェントではなくワークフローの時代」といわせていただきます。 しかし私がいろいろ試行錯誤した結果、「お客様向けに完全自律のエージェントを提供」するのは現状まだ難度が高いと感じました。とくにハルシネーションリスクや誤った操作の暴走などが起きやすいからです。 一方、「確実にビジネス効果が出る」方法として、LLMを活用したワークフローを構築するほうが圧倒的に安定し、成果を出しやすい。たとえばコンテンツ生成工程や顧客対応の下準備工程にLLMを組み込み、最後は人間がチェックする形で運用することで、高速なアウトプットを手堅く実現できます。

JASRAC許諾第9009285055Y45038号 JASRAC許諾第9009285050Y45038号 JASRAC許諾第9009285049Y43128号 許諾番号 ID000002929 ABJマークは、この電子書店・電子書籍配信サービスが、著作権者からコンテンツ使用許諾を得た正規版配信サービスであることを示す登録商標(登録番号 第6091713号)です。

脳が無い動物も眠るようです。 10月7日に『Science Advances』に掲載された論文によれば、クラゲやサンゴの仲間（棘皮動物）で中枢神経が存在しないヒドラのような原始的な動物でも「眠る」ことが確認できたのだとか。 これまで睡眠は脳のある生物だけでみられると考えられてきましたが、今回の発見によって常識がくつがえされることになります。 しかし、中枢神経に依存しない睡眠とは、いったいどんなものなのでしょうか？

長男がプログラム(でゲーム)を作りたいと言い出したので、Javascriptの書き方とブラウザでの動作確認を軽く教えた 次男も感化されたようで長男の真似をし始め、今は簡易な動作のHTMLファイルであれば作れるようになっている ある日、二人の空気が険悪だった(大喧嘩したあとの空気だった) まずは長男に事情を訊いてみると、とあるプログラムの方針で対立したとのこと それは「じゃんけんゲーム」だった 画面でグーチョキパーのいずれかを選びボタンを押すと、相手(CPU)の「手」と勝敗が表示されるというものだった 次男はまずCPUの「手」を乱数で決定し、画面に入力された「手」と比較して勝敗(と引き分け)を決める、素直な処理だった 長男はそれに飽きたのか、まずは乱数で「勝ち」「負け」「引き分け」を乱数で最初に決めてしまい、その後で結果に応じたCPUの「手」を決定するというロジックだった 次男はこれが気に入

by Noj Han オンライン百科事典のウィキペディアを運営・管理するウィキメディア財団が、新しいプロジェクト「Abstract Wikipedia」が理事会の全会一致で承認されたと発表しました。このプロジェクトが進められることで、ウィキペディアの情報をより多くの言語で共有できるようになるとのことです。 Abstract Wikipedia/2020年7月発表 - Meta https://meta.wikimedia.org/wiki/Abstract_Wikipedia/July_2020_announcement/ja 「Abstract Wikipedia」は、2020年5月にウィキペディアの共同設立者の1人であるDenny Vrandečić氏によって提案されたプロジェクトで、ウィキメディア財団にとって7年ぶりとなる大型プロジェクトです。Abstract Wikipediaの目