第559章徐神的直播三【直播】
第559章徐神的直播三【直播】(第3/3頁)
夾裡隨便單拎一個文件出來，都夠普通博士寫一篇頂刊混個教職了吧？！」
「他管這叫『雜項』？這分明是頂刊備忘錄吧！」
「我開始嚴重懷疑徐神是不是人類了…」
……
徐辰隨手複製了一段極長的文本，「比如這道題，這是關於函數域上朗蘭茲綱領的一個延伸問題。洛朗·拉福格教授當年證明了朗蘭茲綱領的函數域情形，但他的證明中對自守表示的局部約束條件還留了一個缺口。也就是說，在某些特殊的剩餘特徵條件下，他的論證並不完全。」
「要補上這個缺口，需要你既要懂自守表示論丶又要懂算術幾何丶還要懂l進表示論。這三個領域的交集本身就極其罕見。而且算力工作量大得驚人——我之前試過用傳統方法，光是搜索相關的引理就花了兩個月。」
「所以我設計了一個思路：與其正麵證明自守表示的存在性，不如用反證法。我先構造一個虛假的表示，然後讓ai去證明這個虛假表示必然導致矛盾。這樣一來，問題就轉化成了一個相對容易處理的'矛盾搜索'問題。」
「我的提示詞是這樣的——」
徐辰指向屏幕上的那段文本。那段文本密密麻麻，充滿了符號和嚴格的邏輯約束。即使是直播間裡那些頂級數學家，看著那些約束條件也需要花幾分鐘才能完全理解。
「你看，這裡我定義了表示空間的拓撲結構，這裡我給出了矛盾的搜索邊界，這裡我限製了引理應用的範圍，這裡我預留了同倫等價的退路。每一行都不是廢話，每一個約束都直指問題的本質。「
徐辰將那段包含著密集拓撲結構定義丶邊界條件和代數幾何直覺的文本，粘貼進了m1的輸入框。
隨後，按下了回車。
……
「隻要你的提示足夠清晰，邏輯鏈條給足了前置約束，剩下的臟活累活，就交給機器吧。」
「因為m1的產品架構是agent化的，也就是說它不是一次性輸出，而是可以持續不斷地自我糾偏。一旦任務提交，它會自己連續運行，逐步逼近解，直到解決問題或者走進死路為止。在這個過程中，它會自動回溯丶嘗試替代路線丶調整策略。你要做的，就是給它一個好的起點和清晰的約束。」
屏幕上，第一個窗口開始飛速輸出代碼和公式。
隨後徐辰重新打開了一個新的網頁窗口。
「一個一個等太慢了，m1的並發處理能力還是不錯的，咱們多開幾個。」
……