《晉書‧宣帝紀》有這麼一段記載：
(青龍)三年...蜀將馬岱入寇，帝(司馬懿)遣將軍牛金擊走之，斬千餘級。
這段記載是在諸葛亮死後的第一次蜀漢進攻曹魏的記錄，
也是馬岱在三國歷史上最後的生平記錄，
但是奇怪的是，翻開《三國志》的《明帝紀》跟《後主傳》，
235年這一年雙方都完全沒這次軍事行動的任何記錄，
連裴松之作注也沒收錄，那為什麼會在《晉書》裡出現呢？
我個人猜測，《晉書》到唐朝才編撰，
是否有可能因為成書時間較晚，
有比較多的史料可以參考記載，
才把馬岱進攻曹魏的這次軍事行動寫進晉書裡，
除此之外，不知道大家覺得是什麼原因呢？

牛繼馬後

孔明4伐 魏軍戰果"俘斬萬計" 故儘管有值得存疑 連魏延本傳都沒載的鹵城"獲甲首三千" 明帝紀仍"封爵增位各有差" 而牛金不過斬千餘更可能本身小損而未記上1筆 反之後主傳亦同理

同意樓上看法，可能戰事規模太小，所以三國志沒記載

234年諸葛亮剛死，蜀漢不太可能發動什麼大規模戰事，所以應該確實規模不大。個人猜測與武都強端的投降有關。

這段倒是有被姜維傳拿去用