サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
デスク環境を整える
gigazine.net
中国のAI企業・DeepSeekが、数学的推論に特化したAI・Proverの第2世代モデルである「DeepSeek-Prover-V2」を、Hugging FaceとGitHubに公開しました。同社の大規模言語モデル「DeepSeek-V3」のアーキテクチャを基盤としたMixture-of-Experts(MoE)モデルで、定理証明支援言語のLean 4を使って形式化した定理証明の生成を自動化するように設計されています。 deepseek-ai/DeepSeek-Prover-V2-671B · Hugging Face https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B deepseek-ai/DeepSeek-Prover-V2 https://github.com/deepseek-ai/DeepSeek-Prover
Microsoftが小規模推論モデル「Phi-4-reasoning」「Phi-4-reasoning-plus」「Phi-4-mini-reasoning」を発表しました。Phi-4-reasoningは、小規模言語モデルのPhi-4に対して教師ありファインチューニング(SFT)を行い、明示的に推論能力を向上させたモデルとなっています。 One year of Phi: Small language models making big leaps in AI | Microsoft Azure Blog https://azure.microsoft.com/en-us/blog/one-year-of-phi-small-language-models-making-big-leaps-in-ai/ Phi-4-reasoning Technical Report - Microsof
Xiaomiが、独自の推論モデル「MiMo」をオープンソースで公開しました。このモデルはOpenAIのクローズドソースのo1-miniモデルや、32Bパラメータを持つアリババのQwQ-Previewモデルなどに対抗するとのことです。 GitHub - XiaomiMiMo/MiMo: MiMo: Unlocking the Reasoning Potential of Language Model – From Pretraining to Posttraining https://github.com/XiaomiMiMo/MiMo?tab=readme-ov-file Xiaomi enters AI World with MiMo 7B: Monster that beats OpenAI - XiaomiTime https://xiaomitime.com/xiaomi-ente
Microsoftのサティア・ナデラCEOが、同社のソフトウェア製品のコードの20~30%は人工知能(AI)が記述していることを明かしました。 Microsoft's CEO reveals that AI writes up to 30% of its code — some projects may have all of its code written by AI | Tom's Hardware https://www.tomshardware.com/tech-industry/artificial-intelligence/microsofts-ceo-reveals-that-ai-writes-up-to-30-percent-of-its-code-some-projects-may-have-all-of-its-code-written-by-ai 2025年4月2
人間のケガの治りは、ヒトに最も近い親戚であるチンパンジーを含む霊長類の動物に比べて大幅に遅いことが、新しい研究により確かめられました。これは、人類の祖先がある時点からケガの治りが遅くなるように進化したことを示唆していると、科学者は考えています。 Inter-species differences in wound-healing rate: a comparative study involving primates and rodents | Proceedings of the Royal Society B: Biological Sciences https://royalsocietypublishing.org/doi/10.1098/rspb.2025.0233 Humans’ Wounds Heal Much More Slowly Than Other Mammals’
スイスに拠点を置く暗号化メールサービス・Proton Mailを通じて、AIによって生成されたディープフェイク画像や、性的に露骨な内容などを含んだメールが送信された問題を巡る裁判で、インドの高等裁判所は2025年4月29日に、Proton Mailをブロックすることを連邦政府に命じました。 Karnataka HC directs Centre to ban encrypted email service ‘Proton Mail’ | Latest News India - Hindustan Times https://www.hindustantimes.com/india-news/karnataka-hc-directs-centre-to-ban-encrypted-email-service-proton-mail-101745953052044.html Karnataka
IBMリサーチがカーネギーメロン大学やプリンストン大学、イリノイ大学と共同で、オープンソースの大規模言語モデル「Bamba」を構築し、そのバージョン2をオープンソースとしてリリースしました。 Meet Bamba, IBM’s new attention-state space model - IBM Research https://research.ibm.com/blog/bamba-ssm-transformer-model Bambaは97.8億のパラメーターを持つ大規模言語モデルで、ベースとなるアーキテクチャが一般的な大規模言語モデルと少し違う点が特徴です。 IBMリサーチによると、一般的な大規模言語モデルはTransformerというアーキテクチャを利用していますが、応答の際に実行中のシーケンスをメモリに保持する関係上、プロンプトが長くなるにつれて生成のコストが指数関数的に増
「GeoGuessr」はGoogleマップのストリートビューの画像を見て場所を当てるゲームであり、ユーザーはありとあらゆる知識を総動員して画像内の手がかりから国や地域を推測し、その精度を競い合います。新たに、OpenAIが2025年4月にリリースした推論モデル「o3」は、GeoGuessrの上位層「マスターランク」のプレイヤーに勝利できることが報告されました。 o3 Beats a Master-Level Geoguessr Player—Even with Fake EXIF Data https://sampatt.com/blog/2025-04-28-can-o3-beat-a-geoguessr-master 2025年4月、ソーシャルニュースサイトのHacker Newsに、o3の位置推測能力についてのスレッドが立てられました。このスレッドに、フルスタックエンジニアでありGe
中国のAlibabaが開発する大規模言語モデル(LLM)ファミリーのQwenに、「Qwen3」が登場しました。Qwen3には2つの混合エキスパート(MoE)モデルと、6つのDenseモデルが含まれており、パラメーターサイズは6億から2350億までと非常に幅広いです。 Qwen3: Think Deeper, Act Faster | Qwen https://qwenlm.github.io/blog/qwen3/ GitHub - QwenLM/Qwen3: Qwen3 is the large language model series developed by Qwen team, Alibaba Cloud. https://github.com/QwenLM/Qwen3 Alibaba unveils Qwen3, a family of 'hybrid' AI reasonin
はしか(麻しん)は麻しんウイルスによって引き起こされる感染症であり、39度以上の高熱や発疹といった症状が現れ、脳炎や肺炎などの深刻な合併症による重症化や死亡のリスクもあります。近年、はしかのワクチン接種率が低下していることが問題視されていますが、新たな研究ではワクチン接種率がわずか10%下がるだけで、はしかが爆発的に流行してしまう可能性があると示されました。 Modeling Reemergence of Vaccine-Eliminated Infectious Diseases Under Declining Vaccination in the US | Infectious Diseases | JAMA | JAMA Network https://jamanetwork.com/journals/jama/fullarticle/2833361 How a small vacc
アカデミー賞の選考・授与を行う映画芸術科学アカデミーは2025年4月22日に、新たな条項を付け加えた映画の応募資格ガイドラインを発表しました。付け加えられたルールには生成AIについての言及があり、初めて生成AIについて規則で明文化された形になりました。 Oscars OK the Use of A.I., With Caveats - The New York Times https://www.nytimes.com/2025/04/21/business/oscars-rules-ai.html The Oscars officially don’t care if films use AI | The Verge https://www.theverge.com/news/653504/oscars-film-award-rule-change-ai 2024年制作の映画「ブルータリ
Metaが2025年4月29日(火)に自社製AIモデル「Llama」を用いた製品開発ためのプラットフォーム「Llama API」を発表しました。記事作成時点では限定プレビューの段階で、限定プレビュー中は無料で使用可能です。 Llama API | Empowering AI Development with Ease https://www.llama.com/products/llama-api/ Everything we announced at our first-ever LlamaCon https://ai.meta.com/blog/llamacon-llama-news/ Llama APIでは2025年4月5日にリリースされた「Llama 4 Scout」や「Llama 4 Maverick」といったモデルに加えて、「Llama 3.3 70B」や「Llama 3.3
アメリカは世界有数の経済大国ですが国民の健康状態は悪く、2024年の研究では同じ英語圏であるものの、イギリス人と比較してアメリカ人は健康状態が顕著に悪いことが報告されています。アメリカやヨーロッパに住む中高年を対象に裕福さと死亡率の関係を調べた新たな研究では、「最も裕福なアメリカ人」でさえ「一部のヨーロッパ諸国に住む最も貧しい人々」よりも平均寿命が短いことが明らかになりました。 Association between Wealth and Mortality in the United States and Europe | New England Journal of Medicine https://www.nejm.org/doi/full/10.1056/NEJMsa2408259 Even the richest Americans face shorter lifespans
1日の終わりには眠くなるのが普通のはずですが、「なぜか夕方や夜になって突然エネルギーがわいてきて寝付けなくなる」という人は少なくないはず。海外では俗に「セカンド・ウィンド」、正式な科学用語で「覚醒維持ゾーン(Wake maintenance zone)」と呼ばれているこの現象について専門家が解説しました。 Why do we get a 'second wind' of energy at the end of the day? | Live Science https://www.livescience.com/health/sleep/why-do-we-get-a-second-wind-of-energy-at-the-end-of-the-day 人が目覚めたり眠気を感じて就寝したりするタイミングである概日リズムは、主に脳の視床下部と呼ばれる領域によって制御される生理現象ですが、
「何人もの先人が失敗しているのに、魅力的に見えてしまうアイデア」は、その特徴をタールの池になぞらえて「タールピット・アイデア」と呼ばれています。このタールピット・アイデアの特徴や避ける方法について、スタートアップに対する投資やノウハウの伝授などを行っているアクセラレータY Combinatorが解説しています。 Tarpit ideas - what are tarpit ideas & how to avoid them : YC Startup Library | Y Combinator https://www.ycombinator.com/library/Ij-tarpit-ideas-what-are-tarpit-ideas-how-to-avoid-them Avoid These Tempting Startup Ideas - YouTube Y Combinatorに
アメリカ連邦取引委員会(FTC)は2020年12月にMeta(当時Facebook)を独占禁止法違反の疑いで提訴しています。この裁判の中で、Metaの創設者でCEOのマーク・ザッカーバーグ氏が「ソーシャルメディアは、以前ほどソーシャルではなくなってきている」と発言したことが報じられました。 Mark Zuckerberg Says Social Media Is Over | The New Yorker https://www.newyorker.com/culture/infinite-scroll/mark-zuckerberg-says-social-media-is-over FTCはMetaによる2012年のInstagram買収、および2014年のWhatsApp買収を、Metaが独占的地位を守るために競争相手をつぶす目的で行ったものだったと主張して訴訟を起こしています。訴訟
恋愛関係の終わりはささいなことがきっかけで突然訪れることもありますが、多くは長い時間一緒に過ごす間に生じたすれ違いから来るものです。最大1万1295人を対象としたいくつかの研究から、恋愛関係が転換点を迎えるのは「破局の1~2年前」である可能性が明らかになりました。 (PDF) Terminal Decline of Satisfaction in Romantic Relationships: Evidence From Four Longitudinal Studies https://www.researchgate.net/publication/390033692_Terminal_Decline_of_Satisfaction_in_Romantic_Relationships_Evidence_From_Four_Longitudinal_Studies Transition
シグマのフルサイズセンサー搭載ミラーレスカメラ「Sigma BF」にはメモリーカードスロットが搭載されておらず、代わりに230GBという大容量のストレージを内蔵しています。デジタルカメラはSDカードなどのメモリーカードを用いてファイルを管理するのが一般的ですが、メモリーカードスロットのないSigma BFはどうやって使えばいいのか気になったので、PCやスマートフォンへのファイル転送手順やストレージの転送速度などを検証してみました。 BF | カメラ | 製品 | Sigma https://www.sigma-global.com/jp/cameras/bf/ Sigma BFはフルサイズセンサーを搭載したLマウントのミラーレスカメラで、「アルミニウムインゴットから7時間かけて削り出したボディ」「メモリーカードスロット非搭載」「感圧式のハプティックボタンおよびダイアルを搭載」といった独特の
Synologyは自社製NASで他社製ストレージの使用を制限することを表明しています。日本時間の2025年4月24日(木)には他社製ストレージ制限システムを搭載した最初の個人向けNAS「DS925+」が登場したのですが、海外のレビュワーはDS925+に否定的な評価を下しており、インターネット上で実施されたアンケートでも「Synologyから他社製NASに乗り換える」という回答が圧倒的多数を占めました。 DiskStation DS925+ | Synology Inc. https://www.synology.com/ja-jp/products/DS925+ 2025年から始まるSynologyストレージシステムのドライブ互換性ポリシーに関するFAQ - Synology ナレッジセンター https://kb.synology.com/ja-jp/DSM/tutorial/Drive
いわゆる「トランプ関税」によってアメリカと中国はお互いに関税をかけあう報復合戦になっていて、アメリカでは中国からの輸入品に145%、中国ではアメリカからの輸入品に125%の関税がかかっています。しかし、中国はひそかにメモリチップを含む8つの関税コード品目を対象から除外していることが明らかになりました。 Some U.S.-made semiconductors quietly exempted from China tariffs - The Washington Post https://www.washingtonpost.com/world/2025/04/25/china-tariffs-semiconductors/ China said to waive retaliatory tariffs on some US chip imports in sign of trade w
iOSの「通知」に関連する開発者向けAPI「Darwin Notification API」に脆弱(ぜいじゃく)性があり、たった1行のコードを悪用することでデバイスを強制的に再起動させられることが明らかになりました。 How a Single Line Of Code Could Brick Your iPhone | Rambo Codes https://rambo.codes/posts/2025-04-24-how-a-single-line-of-code-could-brick-your-iphone Darwin Notification APIは特定のプロセス間でデータをやりとりするためのAPIです。開発者のギルヘルメ・ランボー氏によると、Darwin Notification APIを通じて転送されるデータ量は非常に限られているため、これ自身は機密データ漏えいのリスクとは
アメリカのドナルド・トランプ大統領は2025年4月、相手国の関税率や非関税障壁を踏まえた「相互関税」の導入を発表し、世界経済に大きな衝撃が走りました。そんな中、Appleはアメリカで販売される年間6000万台以上のiPhoneを、中国ではなくインドでの製造に切り替える計画だと経済紙のフィナンシャル・タイムズが報じました。 Apple aims to source all US iPhones from India in pivot away from China https://www.ft.com/content/c2be45b8-cfad-4cbb-9a1a-bfd0626be372 Apple ‘aims to source all US iPhones from India’, reducing reliance on China | Apple | The Guardian ht
Googleは検索事業に関する独占禁止法違反を理由に、アメリカ司法省から訴訟を提起されており、Chrome事業の売却を迫られています。この訴訟において、Chrome担当ゼネラルマネージャーを務めるパリサ・タブリズ氏が、「GoogleからChromeを分離してもこれまで通りChromeを運用することはできない」と証言しました。 Only Google Can Run Chrome, Company’s Browser Chief Tells Judge - Bloomberg https://www.bloomberg.com/news/articles/2025-04-25/only-google-can-run-chrome-company-s-browser-chief-tells-judge Google may have to sell off Chrome — and other
トコジラミは南京虫(なんきんむし)とも呼ばれる1mm程度の小さな昆虫であり、人から血を吸う際に注入するだ液でアレルギー反応が引き起こされ、強いかゆみをもたらします。そんなトコジラミのゲノムを分析した研究で、一部のトコジラミが殺虫剤への遺伝的耐性を身につけていることが判明しました。 First evidence of the A302S Rdl insecticide resistance mutation in populations of the bed bug, Cimex lectularius (Hemiptera: Cimicidae) in North America | Journal of Medical Entomology | Oxford Academic https://academic.oup.com/jme/advance-article-abstract/do
世界最大級のスポーツ用品メーカーであるNike(ナイキ)は、2021年にNFTを用いたデジタルスニーカーメーカーの「RTFKT」を買収し、NFT事業として独自に展開し始めました。しかし、ナイキは2024年12月にRTFKTの打ち切りを発表しています。このRTFKTの購入者から、ナイキが訴えられていることが明らかになりました。 Nike sued over closure of crypto business | Reuters https://www.reuters.com/sustainability/boards-policy-regulation/nike-sued-over-closure-crypto-business-2025-04-25/ Nike is facing a lawsuit from people who bought its NFTs | The Verge
by kevin 海外インターネット掲示板の4chanは2025年4月14日に大規模なハッキング攻撃を受けてダウンしていましたが、およそ2週間が経過した4月27日頃に部分的に復帰しました。4chanの開発チームがこれほどまでに大規模なセキュリティ事案が発生した理由について、「資金難と人材不足が問題だった」と説明しています。 Still standing - 4chan Blog https://blog.4chan.org/post/781845918774394880/still-standing 4chan is back online, says it's been ‘starved of money’ | TechCrunch https://techcrunch.com/2025/04/27/4chan-is-back-online-says-its-been-starved-o
Facebook(現Meta)の元幹部であるサラ・ウィン=ウィリアムズ氏が同社のグローバルポリシーを担当した数年間を赤裸々に綴った告発本が「Careless People: A story of where I used to work」です。Metaが「誤った非難がなされている」として宣伝や出版の中止を求めている、その書籍の衝撃的な内容の一部を活動家でジャーナリストでもあるコリー・ドクトロウ氏が紹介しています。 Pluralistic: Sarah Wynn-Williams’s ‘Careless People’ (23 Apr 2025) – Pluralistic: Daily links from Cory Doctorow https://pluralistic.net/2025/04/23/zuckerstreisand/ ドクトロウ氏は、「Facebookで役職に就き、変化
Appleが2024年6月に開催したWWDC24の中で発表されたパーソナルAIのApple Intelligenceでは、Siriのアップグレードが予定されていました。しかし、AppleはSiriのアップグレードが遅れていることを正式に認め、2026年中のリリースになることをアナウンスしています。開発が遅れている「進化したSiri」について、9to5Macがこれまでの報道をベースにどのようなものになるのかを予測しています。 Here's how Apple plans to fix Siri in iOS 19 - 9to5Mac https://9to5mac.com/2025/04/26/apple-fixing-siri-in-ios-19-heres-how/ 「進化したSiri」の根本的な問題は、AppleがiOS 18の発表に向けて急いで準備しなければいけなかったという点にある
2023年に日本競馬史上7頭目の牝馬三冠を達成したリバティアイランドが、2025年4月27日(日)に香港で開催されたクイーンエリザベス2世カップで競走を中止し、予後不良の診断を受けて安楽死措置が執られました。5歳でした。なお、レースは日本から参戦したタスティエーラとプログノーシスのワンツーフィニッシュとなっています。 Results - Racing Information - Horse Racing - The Hong Kong Jockey Club https://racing.hkjc.com/racing/information/English/Racing/LocalResults.aspx?RaceDate=2025/04/27&Racecourse=ST&RaceNo=8 香港賽馬會(香港ジョッキークラブ)がYouTubeで公開しているレースのリプレイ映像は以下。 [F
次のページ
このページを最初にブックマークしてみませんか?
『GIGAZINE ギガジン』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く