熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
Sam Lehman
投資人@PanteraCapital |@MIT與@BrownUniversity校友
@logic_int 的 Aleph 太棒了，不僅在 Putnam 上獲得了第一名，還在基準測試中找到了 15 個錯誤🔥
同時也要感謝 George 的披露!
2025年12月31日
在 PutnamBench 中修正了 15 個錯誤的形式化（大約佔基準的 2%），感謝 Logical Intelligence 貢獻這些變更，這些變更是由他們的 Aleph Prover 系統識別的（恰好，目前也是 PB 排行榜上最強的方案）！
69
熱門
排行
收藏