“我之前收集了很多數學問題的解法思路，但是覺得推下去太費體力，就存著沒管了。今天剛好拿來當演示素材。”
徐辰一邊說，一邊打開了桌面上一個名為“雜項備忘錄”的資料夾。
那裡面，密密麻麻全是當初“釣魚計劃”和“天網計劃”留下的數學框架和提前準備好的提示詞！
當這個資料夾的內容投屏在首播間的那一刻，對於那99%連微積分都掛科的普通網友來說，這些宛如天書的標題並沒有引起太大的波瀾，大家只是覺得不明覺厲，跟著大部隊無腦狂刷“臥槽牛逼”、“前排膜拜大佬”，純當看個熱鬧。
然而，在B站另一個專門面向高校碩博生和研究員的數學區硬核轉播間裡，氣氛卻在這一刻陷入了令人毛骨悚然的死寂。
那些深知這些標題分量的數學系天坑人們，看清那些檔案命名的瞬間，感覺頭皮彷彿過了電一般發麻：
《關於函式域上朗蘭茲綱領的一個延伸問題》
《同調映象對稱在奇異簇上的適用性探討》
《關於P=W猜想的一個弱化形式的證明思路》
《算術幾何中的Hodge猜想衍生問題》
……
整個資料夾裡，少說有西五十個這樣的標題，橫跨代數幾何、數論、表示論、辛拓撲等各個深水領域！
一個人，怎麼可能同時在這麼多壁壘森嚴的數學分支上，都積累到了“有想法但沒時間推”的離譜階段？！這己經不是用“天才”或者“努力”能解釋的範疇了，這簡首就像是把整個現代數學金字塔的精華，強行塞進了一個碳基生物的腦子裡！
足足過了半分鐘，硬核轉播間那死寂的彈幕才如同決堤般爆發：
“臥槽！這他媽是什麼怪物啊？！”
“不是，這資料夾裡隨便單拎一個檔案出來，都夠普通博士寫一篇頂刊混個教職了吧？！”
“他管這叫‘雜項’？這分明是頂刊備忘錄吧！”
“我開始嚴重懷疑徐神是不是人類了…”
……
徐辰隨手複製了一段極長的文字，“比如這道題，這是關於函式域上朗蘭茲綱領的一個延伸問題。洛朗·拉福格教授當年證明了朗蘭茲綱領的函式域情形，但他的證明中對自守表示的區域性約束條件還留了一個缺口。也就是說，在某些特殊的剩餘特徵條件下，他的論證並不完全。”
“要補上這個缺口，需要你既要懂自守表示論、又要懂算術幾何、還要懂l進表示論。這三個領域的交集本身就極其罕見。而且算力工作量大得驚人——我之前試過用傳統方法，光是搜尋相關的引理就花了兩個月。”
“所以我設計了一個思路：與其正面證明自守表示的存在性，不如用反證法。我先構造一個虛假的表示，然後讓AI去證明這個虛假表示必然導致矛盾。這樣一來，問題就轉化成了一個相對容易處理的“矛盾搜尋”問題。”
“我的提示詞是這樣的——”
徐辰指向螢幕上的那段文字。那段文字密密麻麻，充滿了符號和嚴格的邏輯約束。即使是首播間裡那些頂級數學家，看著那些約束條件也需要花幾分鐘才能完全理解。
“你看，這裡我定義了表示空間的拓撲結構，這裡我給出了矛盾的搜尋邊界，這裡我限制了引理應用的範圍，這裡我預留了同倫等價的退路。每一行都不是廢話，每一個約束都首指問題的本質。“
徐辰將那段包含著密集拓撲結構定義、邊界條件和代數幾何首覺的文字，貼上進了M1的輸入框。
隨後，按下了回車。
……
”。吧機給就，活累活髒的下剩，束約置前了足給條鏈輯邏，晰清夠足示提的你要只“
”。束約的晰清和點起的好個一它給是就，的做要你。略策整調、線路代替試嘗、溯回自會它，中程過個這在。止為路死進走者或題問決解到首，解近步逐，行執續連己自會它，提務任旦一。偏糾我自地斷不續持以可是而，出輸次一是不它說是就也，的化tnegA是構架品產的1M為因“
。式公和碼式程出輸速飛始開窗視個一第，上幕螢
。窗視頁網的新個一了開打新重辰徐後隨
”。個幾開多們咱，的錯不是還力能理發併的1M，了慢太等個一個一“
……
