Tarun Chitra

Tarun Chitra

60,913個推特粉絲

關注

ヽ(⌐■_■)ノ♪♬ @gauntlet_xyz/@robotventures/@aerafinance/@thelatestindefi/@_choppingblock/@zeroknowledgefm // main: @guilleangeris

動態

非常興奮地宣布 @wafer_ai 完成種子輪融資，由 @fiftyyears 領投，@Liquid2V、@ycombinator 以及眾多天使投資人跟投！我們創立 Wafer 的初衷很簡單：最大化每瓦特的智慧。此後，我們一直在建立智能體，以優化核心、推理引擎以及整個 AI 系統棧，不斷挑戰硬體的極限。今天，我們正式發布 Wafer Pass——一個高限制、高速的 API，無需您自行管理基礎設施，即可在最快的開源模型上運行智慧體。

我們的朋友 @mathematics_inc 對 Hermes Agent 進行了 fork，建立了一個強大的自動形式化代理框架。 twitter.com/NousResearch/statu...

Privy 與 Gauntlet 合作，在智慧錢包中提供鏈上收益使用 @privy_io 基礎設施的開發者可以直接在錢包中提供收益計劃。當應用程式在 @Morpho 和 @kamino 上整合我們的收益策略時，用戶即可從閒置餘額中獲得收益。

在生成成本低廉的時代，驗證成為信任的基石。自動形式化正在快速發展，但要將所有已知的數學知識納入其中，仍然需要前沿研究。這正是 Math Inc. 的使命所在！ twitter.com/minimario1729/stat...

當個人無需機構許可即可自行驗證真相時，人類才能進步。我們很高興能與 @robotventures 合作，共同致力於擴大自動形式化規模、創造可驗證的超級智能，並讓真相自由傳播。 twitter.com/mathematics_inc/st...

幾週前：大家都在為 Erdös 議題的自動形式化而興奮不已現在：已經取得了幾個數量級的進步，用僅相當於 mathlib 10% 左右大小的程式碼實現了多個菲爾茲獎結果的自動形式化 RH 在我有生之年一定會被解決 😀

@mathematics_inc

We are pleased to share that using Gauss, we have completed a ~200K LOC formalization of Maryna Viazovska’s 2022 Fields Medal theorems on optimal sphere packing in dimensions 8 and 24. This is the only Fields Medal-winning result from this century to be completely formalized,

透過 Gauntlet 的紅包🧧分享財富，共創繁榮。量化分析師祝您新年快樂，並祝福您在未來的市場中好運連連。

我們構建了一個儀表盤，旨在闡明 HIP3 市場上的自動清算機制，尤其是在 1 月底白銀暴跌之後。 HIP3 的清算機制與常規 HL 市場不同。HIP3 沒有備用清算金庫，因此如果清算過程中賬面流動性耗盡，則會直接進入自動清算系統 (ADL)。 -- 現在，HIP3 交易者可以：計算每個倉位在 ADL 隊列中的排名 - 在你之前有多少人被 ADL 清算 - 其他用戶的名義資金量（藍線）查看可能觸發 ADL 的價格 - 估算訂單簿可以吸收多少清算 - 評估超出 ADL 範圍的交易量（紅線）

認識 @theyisun 和 @vnovakovski 近二十年了，他們合作改進交易基礎設施，在不犧牲可驗證性的前提下，同時支持低延遲（同步）和高帶寬（異步）應用，這並不令人意外。 twitter.com/tarunchitra/status...

我涉足加密貨幣領域很久了。我從未在任何事情上如此拼命。與 @gregthegreek、@tarunchitra 和 @mdcieri37 一起，花了一年時間構建機器信用體系。這是十年一遇的佳作。

Loading..