数学者が7年悩んだ難問、AIが「80分」で解く──取り組んできた本人が美しいと評価 | Forbes JAPAN 公式サイト（フォーブス ジャパン）
ジャレド・デューカー・リクトマンは、博士課程の4年間を費やし、数学で「原始集合（Primitive Set）」と呼ばれる集合について、素数がその種の集合の中で最も効率的（エルデシュ和を最大にする）、すなわち極大な原始集合であることを証明した。 リクトマンは指導教員らの助言に反してこの問題に取り組み、やがてその問題に魅了された。最終的にその成果は「エルデシュの原始集合予想」の証明として、数学界で最も権威ある学術誌の1つに掲載され、今では広く評価されている。その後、彼は同じ系統に属する次の未解決問題を、さらに7年間追い続けた。そして米国時間2026年4月13日、人工知能がその問題を約80分で解いた。 「ポール・エルデシュには『The Book（神の書物）からの証明』という概念があった」とリクトマンはXに投稿した。「The Book」とはハンガリーの伝説的数学者エルデシュが想像した、あらゆる定理
通学路でみかけた突然変異タンポポの茎が太すぎる→「何はと言いませんがその...」「異形の植物ってすごくゾワゾワしますよね」
byme | バイミー @ariffikri_kluat @Hizu517517 これぞ植物学の神秘、『帯化（たいか）』現象ですね！🧐 通常は点で成長する生長点が、何らかの理由で横に広がって線状に成長することで、この平べったい茎ができるんです。自然界のバグみたいで、何度見ても興味深い！ pic.x.com/9NTMTnA0HG 2026-05-03 23:44:06 帯化 帯化（たいか、Fasciation）は、植物で見られる奇形である。綴化（てっか）、石化（せっか、いしか）などともいう。 帯化はエンドウ、タバコ、ジャガイモ、イチゴ、アスパラガス、トウモロコシなど、農… 13 users 155 Wikipedia
xAIに入社した - lapla.dev
xAIに入社した フルリモート，契約社員，Rust OSSが業務という契約ができたので学生を続行する 先日からxAIという会社で契約社員のソフトウェアエンジニアをしています．この会社はよく知られているであろうもので言うと，GrokというAIを作っていたり，XというSNSの運営もしています[1][1] 知らなかったんですがXはxAIの傘下らしいです ．最近はSpaceXというロケットを打ち上げるなどしている会社と合体したらしいです（全部イーロンの配下なので合体とかがしやすいというのは，そう）． 本件は私が趣味でやっていたRust OSS（Rustコンパイラ，Wildリンカー，Clippy etc.）等の経歴が主に評価されて打診が来ており，これらOSS活動を継続することを業務内容として良いようです．このようなOSSを仕事にできるケースがいくつかの企業でたまにあることは知っていたのですが，自分が
BeRealが問題になったことで、今の平均的な大学生のSNS事情がどうなっているのかに注目が集まり、「Discord」を知らない人が多い事実が判明
クレア @kureakurea01 いま起きているのはBeRealをやっている若者が危ないという話ではなく、Xを見ている層とBeRealだけを見ている層で、炎上リスクの体感温度がまったく違うという問題です。X民は毎日のように、不適切投稿、バイトテロ、情報漏えい、職場炎上、損害賠償、謝罪文、解雇事例を見ています。 だから職場で撮るな、画面を映すな、社員証を出すな、裏側を載せるなが、半ば常識になっている。 でもBeReal中心の新卒層には、その炎上アーカイブが届いていない。 BeRealは通知から短時間で投稿させ、前後カメラでいまを切り取る設計です。 つまり、考える前に撮らせるSNS💡 Timeも、BeRealは毎日ランダム通知が来て、前後カメラで現在の自分と周囲を同時に撮る仕組みだと説明しています。 ここがビジネス上の地雷です。 Instagramは盛るSNSだから、まだ撮影前に構図を考え
【セブンイレブン】「7プレミアム 大盛りバターチキンカレーうどん」397円で365g！濃厚カレーでしっかり満足 - ネタフル
セブンイレブンの「7プレミアム 大盛りバターチキンカレーうどん」を食べました。「7プレミアム 大盛りバターチキンカレーうどん」は、セブンイレブンが2026年4月28日より発売した、バターチキンカレー仕立ての冷凍うどんです。 セブンイレブンの「7プレミアム 大盛りバターチキンカレーうどん」は美味しい？ それともまずい！？ 「7プレミアム 大盛りバターチキンカレーうどん」とは セブンイレブンの「7プレミアム 大盛りバターチキンカレーうどん」は、スパイスの香りとまろやかなコクが楽しめるバターチキンカレーうどんです。 販売地域は全国で、価格は397円です。 「7プレミアム 大盛りバターチキンカレーうどん」食べた感想 これが、セブンイレブンの「7プレミアム 大盛りバターチキンカレーうどん」です。 電子レンジの温めは500Wなら7分30秒です。これはレンチン後です。レンチンする時は少しフタを開けておき
【セブンイレブン】「じゃりじゃりシュガー マーガリントースト」想像以上にデカい！34cmで満腹確定 - ネタフル
セブンイレブンの「じゃりじゃりシュガー マーガリントースト」を食べました。「じゃりじゃりシュガー マーガリントースト」は、セブンイレブンが2026年4月28日より発売した、長さが特長の菓子パンです。 セブンイレブンの「じゃりじゃりシュガー マーガリントースト」は美味しい？ それともまずい！？ 「じゃりじゃりシュガー マーガリントースト」とは セブンイレブンの「じゃりじゃりシュガー マーガリントースト」は、フランスパンをスライスし、シュガーマーガリンをトッピングして二度焼きした、長さが特長の菓子パンです。 販売地域は東北、関東、甲信越、北陸、東海、近畿、中国、四国、九州で、価格は192円です。 「じゃりじゃりシュガー マーガリントースト」食べた感想 これが、セブンイレブンの「じゃりじゃりシュガー マーガリントースト」です。 写真だと大きさが伝わりにくいのですが、長さが特長というだけあって、か
エアフライヤー「COSORI」でから揚げを作ることに成功した｜焚き火感あって良いやん？ - ネタフル
熱風で調理する家電、エアーフライヤー「COSORI」を提供していただいてから、頻繁にエアーでフライをフライヤーしています。 揚げてある冷凍食品との相性が抜群で「何度で何分を温めすると美味しく仕上がるのか」とか、実験めいた使い方をしています。温めるだけなら電子レンジでも良いのですが、エアフライヤーは油が落ちてカラリと仕上がる美味しさがあります。 ずっと、そういう使い方をしていたのですが、自分の中でやり残していることが1つありました。純粋な揚げ物です。 実は一番最初は、冷凍コロッケをエアーでフライヤーできないかと試していました。もちろん揚げられるのですが、右も左も分かっていない初心者には勘所を掴むのが難しく、その時に得た結論としては「油を塗ると美味しく仕上がりそうだ」ということでした。 でも。お手軽にエアーでフライヤーしたい派からすると、油を塗るのはちと面倒。そんな時、スーパーで買い物をしてい
【セブン】冷凍「7プレミアム すみれチャーハン」311円で300g！安定のうまさで満足感高い - ネタフル
セブンイレブンの「7プレミアム すみれチャーハン」を食べました。「7プレミアム すみれチャーハン」は、セブンイレブンが2018年より販売している、ラーメンの名店の味を再現した冷凍チャーハンです。 セブンイレブンの「7プレミアム すみれチャーハン」は美味しい？ それともまずい！？ 「7プレミアム すみれチャーハン」とは セブンイレブンの「7プレミアム すみれチャーハン」は、焼豚の旨みが際立つ「すみれ」の名作チャーハンです。 販売地域は全国で、価格は311円です。 「7プレミアム すみれチャーハン」食べた感想 これが、セブンイレブンの「7プレミアム すみれチャーハン」です。 袋のまま温めることもできますが、今回はお皿に出して加熱します。500Wで5分30秒です。 これはレンチン後です。 300gなので、なかなかのボリュームです。ご飯2膳分くらいでしょうかね。 ひと口食べると、王道の美味しさのチ
【松屋】「トンテキ定食」特盛ライスで総重量500g超！濃厚タレ×厚切り肉で満腹確定 - ネタフル
松屋の「トンテキ定食」を食べました。「トンテキ定食」は、松屋が2026年4月28日より発売した、分厚い肉とにんにくのパンチで豪快に食べる定食です。 松屋の「トンテキ定食」は美味しい？ それともまずい！？ 松屋「トンテキ定食」とは 松屋の「トンテキ定食」は、がっつり食べたい気持ちにこたえる、かつて松屋復刻メニュー総選挙で第3位に輝いた、スタミナ満点の「トンテキ」シリーズです。 メニュー構成は以下のようになっています。 ・トンテキ定食 980円 ・トンテキ定食ダブル 1,470円 松屋「トンテキ定食」食べた感想 これが、松屋の「トンテキ定食」です。定食なので生野菜が付きます。 容器はライスとおかずの二重構造になっています。ライスは同一料金だったので、特盛にしました。 フタを開けると、にんにくが強く香ります。とても松屋らしいメニューです。あとはバターの風味も感じました。 分厚く、大きい肉の大きさ
スタジオジブリが忘れられていく──日本テレビが守る広告収入、失われる視聴機会（松谷創一郎） - エキスパート - Yahoo!ニュース
ジブリ作品が配信されない 5月1日、日本テレビの「金曜ロードショー」で『耳をすませば』が放送される。翌週の8日にも、『魔女の宅急便』が放送予定だ。前者は前回放送から約3年8か月ぶり、後者は約２年ぶりだ（誤りがあったので、一部記事を修正しました）。 が、その裏には、別の問題が潜んでいる。長い間テレビでほとんど放送されなかったジブリ作品は、若年層にどれほど届いているのか。 そう考えてしまうのは、スタジオジブリ作品が日本国内のいかなる動画配信サービスでも視聴できないからだ。NetflixでもAmazonプライム・ビデオでも、U-NEXTでも配信されていない。海外のNetflixでは配信されているが、日本国内だけは例外だ。 よって、ジブリ作品を観るためには、テレビ放送を待つか、DVDやブルーレイを購入またはレンタルするしかない。つまり、動画配信サービスが登場する前とまったく同じ状況だ。ジブリ作品だ
私立大学２５０校削減案、財務省が２０４０年目標…文科相「機械的判断ではなく分野や地域バランスが重要」
【読売新聞】 政府は、私立大学の統廃合や定員削減に向けた検討を加速している。少子化で私大の約半数が定員割れに陥っているためで、財務省は今月、２０４０年までに少なくとも２５０校、学部定員にして１４万人程度を減らす必要があると、初めて数
年収3000万円のブロッコリー農家を生み出した…農業を「ドル箱」に変えた九州の野菜卸業者のすごいアイデア（プレジデントオンライン） - Yahoo!ニュース
今年4月から「指定野菜」に追加されたブロッコリー。その生産を陰で支えてきたのが、長崎県雲仙市の野菜卸業者・國﨑青果だ。年商88億円のこの会社は、流通業者でありながら異色のビジネスモデルで、生産量を伸ばし、年収3000万円を稼ぐブロッコリー農家を生み出している。「儲かる農業」を実現させた仕組みとは何か。農業ライターの鈴木雄人さんが取材した――。 【写真をみる】年収3000万円のブロッコリー農家を生み出した方法 ※編集部註:初出時、年収についての記述に誤解を招く表現がありました。小見出し「年収3000万円の儲かる農業」内に一部追記しました。(2026年5月1日13時00分追記) ■ブロッコリー界のトップランナー 長崎県雲仙市。肥沃な火山灰土壌に恵まれたこの地で、国﨑青果は1996年に設立された。野菜の仲卸業を営み、2025年には年商88億円を記録。扱うブロッコリーは年間250万ケース(1ケース
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://nagoya-grampus.jp/news/pressrelease/2026/0504post-2727.php
日本アニメ「稼げる現場」へ チェンソーマンのMAPPAは脱下請け - 日本経済新聞
サイゼリヤ、特にパスタを中心に味が変化しているという意見集まる→サイゼリヤ警察さんがその理由を語るが、それでもショックという反応「新規でどれだけ補えるのか」
福井の恐竜博物館はめちゃくちゃ期待して行ったけどそれを上回る良さだった「世界三大恐竜博物館のひとつだからな！」大人も大満足できておすすめ
ロリポップ！AIエージェントクラウドに自己成長型「Hermes Agent」
ニトリの「300円カレー」が15万個突破 閉店したレストランの味がレトルトになったワケ
うちの店、とうとうサッカー台に置いていたタイミーを撤去します…仕入れは無料じゃないのよ「ロールごと持っていく人もいる」「バイト君が辞めさせられるのかと思った」
オリエンタルランド株価急落 ディズニーシー25周年も営業減益、客数×単価焦点 - 日本経済新聞
