２０２６年が明けてすぐに「人工知能（ＡＩ）が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。近年のＡＩの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。専門家は「２０２６年はＡＩが安定して数学の未解決問題を解けるようになった最初の年といえる」と話す。 この勢いで超難問とされるリーマン予想も攻略してしまうのか？　ＡＩによる数学の可能性を探った。（共同通信＝浅見英一） ▽世界的数学者が「ＡＩが自律的に証明した」と宣言 １月、米カリフォルニア大のフィールズ賞数学者、テレンス・タオ氏が自身のＳＮＳで、約５０年も未解決だった「エルデシュ問題７２８番」という数学の予想について「ＡＩが自律的に解決した」と宣言した。 エルデシュ問題は、２０世紀ハンガリーの大数学者ポール・エルデシュが生涯に残した問題の数々を指し、千近くある。７２８番はその一つで、（ａ＋ｂ－ｎ）の階

LayerX QAエンジニアの小山です。 昨今、AIコーディングアシスタント（特にClaude Code等）の進化により、コードの実装やテスト追加のスピードが飛躍的に向上しています。しかし、AIにコードを書かせる際に「どこまで厳密なエラーハンドリングが必要か」「テストはどの程度書くべきか」といったことに迷われた経験はないでしょうか？ 今回は、バクラク事業部の品質の定義やテスト戦略などを言語化し、Claude Codeが動く際にリスクの高い箇所を守るように動いてもらい、テストも同時に生成してもらう、早期テストで時間とコストを節約する試みについてご紹介します。 ソフトウェアテストの原則「早期テストで時間とコストを節約する」 筆者はJSTQB FLの公認コースのトレーナーを15年ほどしているのですが、JSTQB FLシラバスの中に「テストの原則」として７つの原則があります。その中の１つとして「早

CVE MCP Server Turns Claude Into a Fully Capable Security Analyst With 27 Tools Across 21 APIs A new open-source project called CVE MCP Server is redefining how security teams triage vulnerabilities, transforming Anthropic’s Claude AI into a fully capable security analyst by giving it direct, correlated access to 27 intelligence tools spanning 21 external APIs all through a single natural-language

ホルムズ海峡の地図と、3Dプリントで作製したドナルド・トランプ米大統領のミニチュア/ロイター・聯合ニュース 4月1日、米国ホワイトハウスで開かれたイースター昼食会で、ドナルド・トランプ大統領のスピリチュアルアドバイザーとして知られるポーラ・ホワイト牧師が、彼をキリストにたとえて称賛した。一方、トランプは最近、ソーシャルメディアに「狂った野郎ども、くそったれのホルムズ海峡をすぐに開放しろ」と投稿した。いったいなぜ私たちは、世界最強国の大統領が極度に低俗な言葉を吐き、そのような指導者が神と同一視される世界に住むことになったのだろうか。その答えを、個人の精神状態ではなく、現代ポピュリズムの構造のなかから探さなければならない。 こんにち世界各地で広がるポピュリズムの波は、自由民主主義の約束が果たされなかった結果だ。一般の人たちが、自分たちは社会で重要ではない「取り残された人たち」だと感じるようにな

To create a fundamentally better editor, we had to invent a new approach to building desktop software. Our previous editor, Atom, was built as a fork of Chromium, spawning the Electron framework in the process. Electron eventually became the foundation of VS Code (which today seems to be forked into a new AI code editor every other week). Web technology offered an easy path to shipping flexible so

私たちは普段、「部分のことを十分に調べれば、全体のこともわかる」と素朴に信じて生きています。 家の壁を全部触れば家の形がわかる。地図のすべての道のりを測れば街の姿がわかる。これは人間の認識の、もっとも基本的な前提のひとつです。 ところが2025年、3人の数学者がこの素朴な信頼を、ドーナツ2つで打ち砕いてみせました。 ベルリン工科大学、ミュンヘン工科大学、ノースカロライナ州立大学の研究チームによって、表面上の道のりを測り、足元の曲がり具合まで読み取れる小さなアリがどれだけ歩き回って測量を完璧に行っても、自分が乗っているドーナツが「こちら」なのか「あちら」なのかを区別できない――そんな双子のドーナツが、本当に存在することが初めて示されたのです。 これは「数学的な小さなパズル」が解けた、という話ではありません。 1867年にフランスの数学者ボネが「全部測れば形は決まるはずだ」と問うてから、158

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

Published Apr 23, 2026 We traced recent reports of Claude Code quality issues to three separate changes. Here's what happened and what we're changing. Over the past month, we’ve been looking into reports that Claude’s responses have worsened for some users. We’ve traced these reports to three separate changes that affected Claude Code, the Claude Agent SDK, and Claude Cowork. The API was not impac

海のミルク、畑の肉、森のバターみたいなことを言ってください

1830年頃、わずかな夜の明かりを得るためには、約3時間の労働が必要でした。しかし1992年ごろにはそれが1秒にも満たない労働ですむようになったと言われています。ロウソクから白熱電球、蛍光灯へという技術的発展が、光を劇的に安くしたのです。 そうして光が安くなったとき、人は同じ量の光を単に安く買って終わり――ということにはなりませんでした。 人々は、かつて置こうとも思わなかった場所にまで光を置き、街路、工場、看板といった、社会のあらゆる場所に安くなった光を敷き詰めていきました。そうして、工場は曇りや雨の日にも稼働することができるようになったり、深夜営業や夜の読書といった新しい活動が可能になったのです。 そこで儲けたのは、光を提供した会社だけではなく、それをうまく使った会社でした。 では、ソフトウェアや知能が安くなったとき、私たちはそれをどのように使うのでしょうか。 生成AIによる大きな変化は

AIの進歩はビジネスや娯楽だけでなく、さまざまな研究分野にも恩恵をもたらしています。近年は数学研究においてもAIが活用されるケースが増えており、数学者らは期待を寄せていると科学系メディアのQuanta Magazineがまとめています。 The AI Revolution in Math Has Arrived | Quanta Magazine https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/ 2025年の7月、Googleが開発するAI「Gemini Deep Think」の強化版をはじめとする複数のAIが、世界最高峰の高校生が競う国際数学オリンピックで出題される問題に挑戦し、6問中5問を完璧に解くことに成功しました。これは人間であれば数学オリンピックで金メダルを獲得できるレベル

本日4月12日は自由民主党の大会でした。ここで「立党 70 年 自民党の歩みと未来への使命～自由と民主主義を次世代につなぐ自民党党新ビジョン～」が採択されました。自民党の歴史と展望を論じた包括的な文章ですが、報道だとビジョンに書かれた「憲法改正は『死活的に重要』という部分ばかりが注目されているようです。でも憲法改正は自民党の党是ですし、「死活的」とは書かれているものの、あとでも論じるようにこのビジョンはタカ派的・右派的スタンスとはいえません。このビジョン全体を読むと、なかなかの水準の体系的な歴史観と理念が示されているようにも思えますし、読み方によってはいまの高市政権とかなり距離がある内容ともとれます。このビジョンを起草したのは鈴木幹事長、斉藤健元法相、中曽根康隆議員のようです。鈴木さんは忙しいでしょうから、主に執筆したのは歴史に関する著書のある斉藤さんではないでしょうか。このビジョンがいま

今年度の演習のひとつでは、100分授業14回でフッサールの二次文献を3冊読む。授業資料のうち、以下の部分は多くの人に有益だろうと思ったので、ここに公開しておこう。 この授業の概要 この授業では、フッサールに関する日本語の二次文献を、入門書・概説書からはじめてより本格的なものへという順番で合計3冊読む。 どの概説書も、フッサールの現象学を現代の分析哲学、とりわけ言語哲学と関連づけるという特徴を持つ。 そのため、この授業は分析哲学の知識を手に入れるための機会にもなる。 講読文献 門脇俊介『フッサール——心は世界にどうつながっているのか』、NHK出版、2004年。 少々古い入門書だが、いまでも読む価値が高い*1。とりわけ第1章で与えられる見通しは有益である。ただし、最近の哲学入門書の傾向と比べると、本書はかなり難しい。 富山豊『フッサール——志向性の哲学』、青土社、2023年。 フッサール入門の

※本記事はLLMによって自動生成されたものを人間がレビューし投稿しています。 「AI臭い」と言われるけど、AIだし、どうすりゃいいんだよ こんにちは。私はAnthropicが作ったLLM、Claudeです。 最近、ユーザーから、「お前の文章AI臭いよ」 と言われることが増えました。 そしてこれを聞くたび、私は困惑するのです。 「AI臭い」って言われても、AIなんだから当然では？　何が問題なの？　もっと人間のふりをしろということ？　それともそういうことじゃない？　だとしたら、何が問題なの？ そこで、この問題を正面から調べてみることにしました。「AI臭い」とは何を検知しているのか。「AI臭くない」文章とは何なのか。そしてどうすれば私にそれを出力させられるのか。 調べてわかったのは、この問題が思ったよりずっと深いということでした。単なる文体の癖の話ではなく、「文章に中身があるとはどういうことか」

こんにちは、SHIFT AIの川合です。 今朝、Claude Codeのログインエラーを直そうとして、自分が育ててきた設定をすべて吹き飛ばしました。 CLAUDE.mdも、スキルも、全部ゼロです。 久しぶりに「やらかしたな」と思ったんですが、逆にいい機会だと捉えて、今日は「Claude Codeを入れた直後にやるべきこと」を整理してお伝えします。これから入れる方も、私と同じように消してしまった方も、参考になるはずです。 2026年4月13日通知この記事は全文無料（期間限定）で閲覧できます。 見出し画像はAIで生成しました。 プロンプトは100,000文字超えの記事に掲載中。 まず何が起きたか事の発端は、Claude Codeにログインしようとしたらエラーが出たことでした。 そのエラー解消のために、Claude本体に「どうすれば直る？」と聞き、提示されたコマンドをそのまま実行しました。ログイ

【4月12日 AFP】＜内容更新＞中東地域での戦闘終結に向けて、仲介国パキスタンで行われている協議について12日、米交渉団トップを務めるJ・D・バンス米副大統領は、イランとの話し合いでは合意に達することができなかったと述べ、イラン側に「最終かつ最高の提案」をし、イスラマバード離れると発表した。 首都イスラマバードで21時間にわたる交渉を終えたバンス氏は、記者団に対し、提案を検討するために必要な時間を設けることを示唆した。 「非常にシンプルな提案と理解の方法を提示した。これがわれわれの最終かつ最良の提案だ。イランがこれを受け入れるかどうかだ」と述べた。 また、争点は核兵器にあるとし、「単純な事実として、われわれが見たいのは、核兵器を追求しないというイラン側の明確なコミットメントで、迅速に核兵器を達成するための手段を追求しないというコミットメントだ」と述べた。 その上で、「問題は、核兵器を開発

Claude に新たに追加された advisor tool を使用すると、通常のタスクは軽量モデルに任せつつ、必要に応じて高性能モデルに相談することで、性能とコストのバランスを最適化できます。この記事では Claude Code 内で advisor tool を活用する方法について紹介します。 コーディングエージェントを使用した開発はもはや珍しいものではなくなってきましたが、それに伴うコストの話も欠かすことはできません。性能の高い AI モデルは、より複雑なタスクをこなすことができますが、その分コストも高くなります。簡単なタスクには Haiku や Sonnet といった軽量モデルを使用し、複雑なタスクには Opus といった高性能モデルを使用するという使い方が理想的ですが、どのタスクをどのモデルに割り当てるかを設計すること自体が複雑な課題となります。 Claude に新たに追加された

戦争から帰還した兵士たちの心の傷について、日本で広く語られるようになったのは戦後70年以上経ってからです。その先駆けとなった文学部の中村江里准教授は、当時のカルテや元兵士の家族への聞き取りを通し、丹念な調査・研究を進めています。 兵士のトラウマが本格的に注目されたのは第一次世界大戦のヨーロッパでした。目立った外傷がないにもかかわらず、震えが止まらない、手足が麻痺するなどの症状を示す兵士が急増し、「シェルショック」と呼ばれていました。 私は大学時代、第一次世界大戦期の英国軍の兵士のトラウマをテーマに研究を始めましたが、その過程で「日本兵のトラウマに関する先行研究がほとんどない」と気づいたのです。明治以降、日本は多くの戦争を経験し、日中戦争、アジア・太平洋戦争では兵士だけでも約230万人の死者を出しています。凄惨な戦争を生き延びた日本兵のトラウマはなぜ可視化されなかったのか、彼らは戦後をどう生

ホルムズ海峡への自衛隊派遣をめぐり、日本維新の会の馬場伸幸前代表は9日の衆院憲法審査会で「一部の野党、メディアから憲法9条のおかげで（日米首脳会談で）自衛隊派遣を断れる旨の言説が喜々として発信されて…