直屏旗艦來了 iQOO 12和K70 Pro同臺競技
旗艦機基本上使用的都是雙曲面屏幕，這就讓很多喜歡直屏的愛好者在苦等一款直屏旗艦，這次，你們等到了。據博主數碼閑聊站帶來的最新爆料稱，Redmi下代旗艦K70 Pro和iQOO 12兩款手
繼Devin之后，又一個AI軟件工程師被刷屏了——
它叫Genie，號稱目前地表強，已經可以像人一樣思考和行動了！
那么這個“地表強”，到底強到什么程度？
先來看下評測分數。
在權威榜單SWE-Bench中，Genie以解決了30.07%問題的成績奪得榜首。
（SWE-Bench是一個用來評估大模型解決現實中軟件問題的基準。）
而這個成績可謂是遙遙領先第二名19.27%，解鎖了提升SOTA的大增幅——57%！
至于Genie的實際效果，用團隊的話來說就是：
它可以做到像人類工程師一樣解決現實生活中的軟件問題。
首先，你可以用4種方式讓Genie開始工作，分別是提示詞、GitHub Issue、Linear Ticket或者API。
以解決GitHub Issue為例，先喂給Genie一個repo的鏈接，它就開始自動解析問題了：
Genie會自動迭代思考如果想要解決這個問題它都需要哪些文件，直到它覺得找到了自己滿意的為止：
緊接著，它將對問題做一個自動迭代分析的過程：
然后Genie就開始“唰唰唰”地自動寫+跑代碼了：
如果運行代碼過程中出現bug，Genie會只針對出問題的地方再重復分析、寫代碼和運行的過程，直至跑通為止。
而整個過程，僅僅耗時84秒！
用團隊的話來說：
Genie已經觀察并學習人類程序員如何解決軟件問題的次數達到了數百萬次。
這是任何一個人類程序員一輩子都無法達到的數量。
但更令人意想不到的是，Genie背后的團隊——Cosine，才僅僅5人。
而且CEO Alistair還發文感謝OpenAI：
沒有你們，我們做不出來Genie。
那么Cosine團隊，究竟是如何打造Genie的呢。
強AI工程師是如何煉成的？
Genie的主要特點，是能夠模仿人類工程師的認知過程、邏輯和工作流。
為做到這一點，Genie團隊透露過去一年收集了一個包含真實人類程序員開發活動的數據集。
其中不僅使用了成果分析、靜態分析、自我對弈、逐步驗證等方法，還用到了基于大量標記數據訓練的AI模型。好處是，當基礎模型能力提升時，它們能夠提取的數據質量也會相應提高。
終Genie使用該專有數據進行訓練。
數據集中編碼了人類推理的完整過程，包括完美的信息溯源、增量知識發現，還有基于軟件工程師實際工作案例的逐步決策過程。
Genie的推理過程包括規劃、檢索、代碼編寫和代碼運行四個主要步驟，突破了其它AI工程師依靠在基礎模型之上添加網頁瀏覽器、代碼解釋器等額外工具的限制，能夠像人一樣處理多樣化的、高度情境的、前所未見的問題。
這種訓練方法，讓網友們立刻想到，之前Karpathy也提出的類似想法：
對于LLM來說，理想的訓練數據并不是你所寫的內容本身，而是你在寫作過程中的完整思考過程和每一個編輯動作。然而，我們只能盡力利用現有的資源。
除此之外，Genie訓練中還引入了自我改進機制。
初始訓練數據多為可正常運行的沒有錯誤的代碼，導致Genie導致難以應對錯誤情況。為解決這個問題，團隊使用初代版本的Genie生成包含錯誤的合成數據，然后用這些數據訓練下一版模型。
具體來說，使用舊版本Genie提出解決方案，如果解決方案錯誤，就利用掌握的任務終狀態來教它從當前狀態達到正確狀態。
不斷重復這一過程，Genie提出的初始解決方案逐漸變得更準確，在多數情況下能直接給出正確答案，即使出錯也只需在數據集中作較少的修正。
Genie能力提升的另一大關鍵，在于OpenAI提供的大模型支持。
團隊表示，初開發Genie時，只能訪問微調16-32k范圍內的短上下文模型，他們用這些模型進行了大量早期開發，用超1億token的數據訓練模型，雖然發現設計的架構有一定優勢，但從根本上受限于模型在特定時間內可以處理的信息量。
嘗試了各種壓縮/分塊方法后，唯一的解決方法就是使用更大上下文的模型。
OpenAI提供了長上下文模型支持，新版本的Genie經過了數十億token的數據訓練。
團隊認為，相比超參數調整和數據量，數據的質量才是關鍵。因此他們還在數據混合方面進行了大量實驗，包括語言、任務類型、任務長度等多個維度，以下是訓練Genie的不同編程語言數據的占比：
還有不同類型實例的數據占比：
只有5個人的團隊
正如我們在上文提到的，Cosine這個初創團隊人數目前僅僅為5人。
在官網的介紹中，他們也非常直接的將自己形容為：
Small but mighty.雖小但有力。
從介紹來看，成員有的是從獨角獸企業出身，有的擁有管理全球團隊的經驗，甚至還有從8歲就開始編程的。
但Cosine初成立之際是僅有3人，他們的目標是想把人類推理這件事兒給搞明白。
值得一提的是，團隊成員中還有一位是華人，Yang Li，是Cosine的聯合創始人，在2021年登上過福布斯30 under 30。
除此之外，對于Genie本身，CEO Alistair還表示：
早在2022年我們就開始構想Genie了，但當時從技術角度來說是不可行的。
直到過去半年多來，隨著大模型的逐步成熟，Genie才能走入現實。
嗯，不得不說，大模型又立功了。
Genie目前是可以申請Waitlist了，感興趣的小伙伴可以戳文末鏈接~
Waitlist地址：https://cosine.sh/register
參考鏈接：[1]https://x.com/alistairpullen/status/1822981361608888619?s=46[2]https://cosine.sh/blog/genie-technical-report[3]https://cosine.sh/blog/state-of-the-art[4]https://x.com/AlistairPullen/status/1823030874579120223[5]https://x.com/yangli_
本文鏈接：http://www.tebozhan.com/showinfo-17-107663-0.html強AI程序員砸飯碗：84秒跑通代碼 像人一樣思考
聲明：本網頁內容旨在傳播知識，若有侵權等問題請及時與本網聯系，我們將在第一時間刪除處理。郵件：2376512515@qq.com
Copyright ? 2016-2023 天津谷騏科技有限公司 版權所有 sitemap.xml
違法及侵權請聯系：2376512515@qq.com 津ICP備18001702號
津公網安備 12010102000574號