熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
Hieu Pham
@openai |例如：@xai、@augmentcode、@GoogleBrain、@LTIatCMU、@Stanford、ACM ICPC、IMO🥈
意見是我自己的。
你購買了1000個GPU，並給每個用戶一個。你讓他們在家運行Llama-3。如果他們的記憶體不夠，你告訴他們「技能問題」😳
12月6日 21:09
你正在Meta進行機器學習面試，面試官問：
「我們如何能夠同時為1,000名用戶提供Llama-3服務？
即使模型可以適應GPU，為什麼我們還是會耗盡內存？」
這是你回答以獲得那筆$$$的方法：
22.86K
這真是令人印象深刻。可驗證的真是太棒了！
更令人印象深刻的是：他們是一家成立4個月的初創公司。4個月！讓這個事實好好消化一下。
12月8日 00:54
普特南（Putnam），全球最艱難的本科數學競賽，於昨天太平洋時間下午4點結束。
在下午3:58，AxiomProver @axiommathai 自動解決了 Putnam2025 中的 8/12 題目，使用的是 100% 可驗證的語言 Lean。
去年，我們的得分將是約 4000 名參賽者中的第 4 名，並且成為普特南獎學金得主（近年來前 10 名）。
35.21K
熱門
排行
收藏