最近数学圈发生了一件很有意思的事。

世界顶级数学家陶哲轩在解决一个 Erdős（埃尔德什）的经典问题时，全流程都在用 AI 做助手——从证明草案，到简化证明，再到形式化验证。

Erdős 是20世纪最高产的数学家之一，一辈子发表了1500多篇论文，提出了无数开放问题。数学圈有个著名的"埃尔德什数"——如果你和他合作过论文，你的埃尔德什数就是1；和他的合作者合作过，就是2，以此类推。爱因斯坦的埃尔德什数是2。

后来有人专门做了一个网站，把他的很多未解决/已解决问题系统整理出来，这就是 Erdos Problems 网站。

陶哲轩讲的是其中的第 367 号问题，属于数论里的一个具体问题，专业数学研究级别的问题。

解决过程大概是这样的：

一位数学家 Wouter van Doorn 先给出一个人类手写的反例证明草案，但里面有一个关键恒等式他没完全证明，只是说：“相信有人能帮我确认一下”。

陶哲轩把这个恒等式扔给 Google 的 Gemini Deepthink 模式。大概十分钟后，Gemini 给出了一份完整证明，还顺带确认了整套论证是成立的。

Gemini 的证明用到了 p-adic 等比较高级的代数数论工具，对这个具体问题来说有点杀鸡用牛刀。于是陶哲轩花了半小时，把 AI 的证明手工转化成更基础、更易懂的版本。

两天后，另一位数学家 Boris Alexeev 用一个叫 Aristotle 的工具（基于 AI + Lean）完成了全套形式化证明，还特意手动检查最终结论，以防 AI 在形式化过程中存在编造。

陶哲轩觉得还没完，又用 Deep Research （同时用了 ChatGPT 和 Gemini）做了一轮文献搜索，看这个问题有没有前人类似工作。结果找到了若干关于连续幂数的相关论文，但没有直接解决第 367 号问题。

整个流程：人类提出猜想 → AI暴力证明 → 人类简化优化 → AI辅助形式化验证。

都在说 Gemini 3 已经到了博士生水平，看来所言非虚，这些事情真的需要数学博士级别才能做的出来，但另一方面，真正的数学家也并没有被 AI 代替：是人类决定哪个问题值得解决，是人类判断AI的p-adic方法太重了需要简化，是人类手工完成最终的形式化表述以验证 AI 的结果是否准确。

AI 做的是那些需要大量计算、符号推演、但方向已经明确的体力活。在 AI 时代，问对问题、甄别结果，比以前更重要了。 November 11, 2025

🗼 #RED大忘年会2025 まであと【8日】

登壇プロジェクト紹介 vol.12
🎤 Scent Japan DAO

🗓 12月6日(土) 東京タワーで開催！
🎟 一般チケット ¥3,000 販売中
👉 https://t.co/mXiqOIlx0W

#TEAMRED #FiNANCiE

/／
🌺 “香りのiTunes”
香りを選ぶ、遊ぶ、伝える、新しい日常へ
デジタルが香りを運ぶ、世界初の体験を東京タワーで！
\＼

🔶 プロジェクト名

Scent Japan DAO
FiNANCiE（@ScentJapanDAO ）
代表（@scent_alex ）
Scent Store運営（@hrz_co_jp ）

🔶 一言で魅力を言うと？

“香りのiTunes”をつくるプロジェクト。
香りをデジタルで選び、届け、楽しむ未来を創造！

🔶 今回の登壇／ブースでは何が見れる？

・代表Alexさんによるトークセッション🎤
・スマートディフューザー「Scent Gem」初展示
・香りを届ける未来の体験インスタレーション
・3種の香り入り「香りマスク」を来場者全員に配布🎁
・予約販売やScent Storeの世界観紹介

🔶 推しポイント

香りは空気を変え、気分を変え、記憶も動かす──
Scent Storeは、そんな香りを“デジタルで楽しめる”世界初のサービス。
お部屋で高級ホテルの香りを再生したり、推しアーティストの香りをプレイリストに。
Scent GemとScent Storeで、香りはもっと自由に、創造的に。

Scentは、香りを“コンテンツ”として楽しむ新文化を創っています。

🔶 大忘年会へのメッセージ

このイベント限定で、
マスク＋アロマシールの特別セット を無料でお配りします。

その場で “香りが空気を変える” 体験をしていただけるため、Scent Storeの世界観をより深くお楽しみいただけます。

Scent Store専属調香師が生み出す、ラグジュアリーな香りに包まれる特別なひととき をぜひご体感ください。

会場では、体験した香りをそのままお部屋で楽しめるスマートディフューザー《Scent Gem》の予約販売 も行います。
“マスクのひと息” から “空間全体の香り体験” へと広がる世界観をぜひ会場で確かめてみてください。

🔴 主催コメント

Scent Japan DAO は、“香り × デジタル”という前例のない挑戦を応援するプロジェクト。

今年は発売間近の《Scent Gem》の最新情報が聞けたり、《香りマスク》プレゼント🎁で「マスク越しの一呼吸で気分が変わる」イメージフレグランスを体験できるようです。

香りは人を癒し、集中させ、空気を整える。
その世界観を、🗼東京タワーという特別な場所で味わえるのは楽しみですね😊

🎟 チケット情報

🎟 一般 ¥3,000（発売中）
・金券¥500×2
・ドリンク1杯付き
→ 実質 ¥1,500 で楽しめる！

💎 協賛VIP（再販中／数量限定）
・CNP×RED°カケラNFT ×2
・来れなくても“応援参加”OK
・お名前掲載あり November 11, 2025

12：35頃～
【#大人のサード・プレイス】

プレミアム世代のサード・プレイスを
音楽で巡っていくこの時間🎶

時空を超えた旅路にでます⏳

金曜日は恒例
写真家でエッセイストのハービー・山口さん
きょうは「“福岡市美術連盟でのトークショー”について」

@herbieyamaguchi

#alexjfn November 11, 2025

LGS/TO : Alex Hobby Shop
Event : Tamer Battle
City : Tangerang
Date : 28/11/2025
Tamers : 10
Champ : Nasi Uduk
Deck : Dukemon X
@digimonmeta

#デジモン #デジカ #デジモンカードゲーム #デジモンカード #Digimon
#Digimonmeta #dtcg
#digimoncardgame #DigimonTCGIndonesia https://t.co/ykAy3k4yIx November 11, 2025

JT Game Store in Johor Gundam Card Game Shop Battle Season 2 Tournament! 24/11/2025

Champion: Alex - 🔴⚪ Zeta-Freedom

1st runner-up: Nat - 🔵⚪ Epyon-FREEDOM

2nd runner-up: Jin - 🔴⚪ Cyber-Newtypes

#GUNDAM
#gundamcardgame
#ガンダムカードゲーム
#GCG https://t.co/EoPi6UOQa2 November 11, 2025

狭すぎる橋の上…MTBで走れるのか!?
DJI Osmo Action 6で「挑戦の瞬間」をガチ撮り。
成功すると思う？😳

🎬：IG/alex_nb_
⚠️プロによる撮影です。真似しないでください。
⚠️特別な許可をとって撮影しています。撮影の際は、公共の場でのルールを守って安全にお楽しみ下さい🙏 https://t.co/1bjiAkcCiF November 11, 2025

CoC ｢ メアリーアンらは何者でもなかった 」　作：イコレット 様

KP：緑埜うと

PL / PC
HO1：ぽんち / Alex Ophelia Hall
HO2：おまる / Camellia・Redfern
HO3：やまだ / Ellen・Claver
HO4：齧木 公太郎 / Nyx・Ravenwood

全生還にてシナリオクリア

「あなたたちと、会えてよかったわ。」 https://t.co/jsKEFnXg66 November 11, 2025

【#セルフ・ポートレート】

˗ˏˋ☕️TEA BREAK TIME☕️ˎˊ˗
皆さんもご一緒に☺️🫶

ロバート・ハリスの自遊時間✨
想像旅行へでかけましょう✈️

今日は・・・
『オーストラリアの動物たち』の再上映

#alexjfn November 11, 2025

私が好きな曲全部Alex Brightmanが歌ってるから
もうAlex Brightmanが好きなんだと思う https://t.co/8kXNyh0imz November 11, 2025

YOAKEのALEXのパフォーマンスもかっこよかったですねぇ🤤
ラジオ界のレジェンドBUTCHさん、朝倉幸男こと町田隼人さん、そしてLove FMのハンサム担当ALEXと。
豪華過ぎ楽し過ぎでした🤤
#761musics #YOAKE https://t.co/Xpv0SbHk9y November 11, 2025

CoBのAlexi含むメンバー直筆サインCD出品されてる！未開封のレアもの、マジ欲しい…

Children Of Bodom 直筆サイン入りCD メロディック・デスメタル
https://t.co/SNduztbz37 November 11, 2025

うわぁBlondie Sandy出品されてる…！シャーリング可愛すぎて心臓バクバクやわ～出品迷ってるって書いてるけど買うで！？😂

【新品未使用】ALEXIASTAM Blondie Sandy タグ付き 正規品
https://t.co/6f6lysauhw November 11, 2025

WEAPONS観た。各々の視点で事件の全貌が少しずつ明らかになっていくという面白いエンタメではあるものの最後のALEXパートが丁寧すぎる。BARBARIANの時もそうだったけれどこの監督の作品は中盤とその少し後くらいに面白さのピークがきてしまい最後はほどほどの面白さで終わる。 November 11, 2025

@Alexchan2022 💛Alexさん、ありがとう💛
°*.\(*´∀`*)/.*゜⸜(*ˊᗜˋ*)⸝ November 11, 2025

Iona Girlishの完売品出てて心臓止まった…誰か買うなら譲ってほしいくらい😂

【新品未使用】ALEXIASTAM Iona Girlish 完売品 入試困難
https://t.co/otvFpYoaJJ November 11, 2025

C&K📻
今日も声が聞けて嬉しい😂ww
#candk
#相思相愛
#天文館探偵物語
#映画主題歌
#2026年4月26日
#大阪城ホールワンマンライブ
#来てね ❤

music x serendipity LOVE FM 2025/11/28(金) 18:00-18:54 https://t.co/rWq9FsIn6Q #ALEX #MUSIC #ゲスト #JーPOP #トレンド #ABEMARADIO #Abema November 11, 2025

#87CEEB｜Blue Moon｜あのブルームーンのリバーシブルボトム、135完売してるって…欲しいよぉ…

【新品未使用】ALEXIASTAM Mini Elle Dreamy Leo
https://t.co/Tl6sFl8AQU November 11, 2025

え、Elle Comfy Timeの白まだ出た！？
欲しいけど争奪戦無理ゲーすぎて泣ける〜😭

【新品未使用】ALEXIASTAM Elle Comfy Time 完売入手困難
https://t.co/HkuPptV9p6 November 11, 2025

ベンハーさん、最後の語りの時のハリスさんの写真撮ってくれたらと思う
……今週もありがとうございました……
#alexjfn November 11, 2025

ロバートさん、皆さまお疲れ様でした！
ポポロさん🐶、戻って来るんですね。
週明けのダイヤリー📓が楽しみです。

素敵な週末を！

Love you too👋

続きは、 #タイムフリー で。

#alexjfn #alex897 #interfm #interfm897 @alexinterfm November 11, 2025