ข่าว Gate News เมื่อวันที่ 17 มีนาคม Mistral AI ได้เปิดตัว Leanstral ซึ่งเป็นเอเจนโอเพนซอร์สตัวแรกที่ออกแบบมาเพื่อเครื่องมือการตรวจสอบทางฟอร์มาลาเชียล Lean 4 จุดเด่นของโมเดลนี้คือสามารถสร้างโค้ด AI พร้อมทั้งส่งออกหลักฐานทางฟอร์มาลาเชียลที่สามารถตรวจสอบโดยอัตโนมัติด้วย Lean 4 ได้ ซึ่งช่วยหลีกเลี่ยงข้อจำกัดของการตรวจสอบด้วยมนุษย์ในกระบวนการสร้างโค้ด AI แบบดั้งเดิม
Leanstral ใช้สถาปัตยกรรม MoE แบบ Sparse มีพารามิเตอร์รวม 120 พันล้านและพารามิเตอร์เปิดใช้งาน 6 พันล้าน เปิดให้ใช้งานแบบโอเพนซอร์สภายใต้สัญญาอนุญาต Apache 2.0 และได้รับการปรับแต่งสำหรับ lean-lsp-mcp ผู้ใช้สามารถเริ่มต้นได้ง่ายใน Mistral Vibe ด้วยคำสั่ง /leanstall โดยไม่ต้องตั้งค่า หรือเรียกใช้งานผ่าน API ฟรีที่ labs-leanstral-2603 พร้อมทั้งรองรับการดาวน์โหลดน้ำหนักเพื่อการติดตั้งเอง
Mistral ยังปล่อยเกณฑ์การประเมินใหม่ FLTEval ซึ่งใช้โครงการฟอร์มาลาเชียลของทฤษฎีบทฟีมาของชุมชน Lean 4 เป็นฉากทดสอบ ผลการเปรียบเทียบประสิทธิภาพแสดงให้เห็นว่า Leanstral pass@2 ทำคะแนนได้ 26.3 ด้วยต้นทุน 36 ดอลลาร์ ซึ่งสูงกว่าคะแนน 23.7 ของ Claude Sonnet 4.6 ที่มีต้นทุน 549 ดอลลาร์; pass@16 ทำคะแนนได้ 31.9 ด้วยต้นทุน 290 ดอลลาร์ ซึ่งนำหน้า Sonnet 8 คะแนน ในขณะที่ Claude Opus 4.6 ต้องใช้เงิน 1,650 ดอลลาร์เพื่อให้ได้ 39.6 คะแนน ในโมเดลโอเพนซอร์ส Qwen3.5-397B-A17B ต้องรัน 4 ครั้งจึงจะได้ 25.4 คะแนน ซึ่งยังต่ำกว่า Leanstral pass@2
btc.bar.articles
Echelon เลิกใช้ kAPT และ stkAPT โดย LTV จะลดลงเหลือ 0% ในวันที่ 20 พฤษภาคม
ตามรายงานของ PANews เมื่อวันที่ 9 พฤษภาคม Echelon ประกาศการเลิกใช้งานแบบค่อยเป็นค่อยไปของ kAPT และ stkAPT ในพูลหลักบน Aptos โดยโปรโตคอลได้ปิดการกู้ยืมและการให้ยืมสำหรับสินทรัพย์ทั้งสองแล้ว ตั้งแต่วันที่ 20 พฤษภาคม อัตราส่วน LTV ของเงินกู้ในโหมด E-Mode (E-Mode loan-to-value) จะลดลงเหลือ 0% จากนั้นจะนำออกจาก E-Mode ในวันที่ 27 พฤษภาคม และตั้งค่า liquidation threshold ไว้ที่ 0% ในวันที่ 3 มิถุนายน Echelon ได้กระตุ้นให้ผู้ใช้ปิดหรือย้ายสถานะ (positions) ของตนอย่างรวดเร็วเพื่อหลีกเลี่ยงความเสี่ยงจากก
GateNews1 ชั่วโมง ที่แล้ว
TON พุ่งขึ้น 90% ใน 1 สัปดาห์ พลิกแซง XLM และ SUI ในมูลค่าตามราคาตลาด
ตามการประกาศของ CoinMarketCap และ Pavel Durov ผู้ก่อตั้ง Telegram Toncoin (TON) พุ่งขึ้นมากกว่า 90% ระหว่างวันที่ 3 พฤษภาคมถึง 9 พฤษภาคม โดยเพิ่มจากประมาณ 1.30 ดอลลาร์สหรัฐ เป็น 2.75 ดอลลาร์สหรัฐภายในวันที่ 7 พฤษภาคม ก่อนจะทรงตัวราว 2.50 ดอลลาร์สหรัฐในวันที่ 9 พฤษภาคม ขณะที่มูลค่าตลาดตอนนี้อยู่ที่ประมาณ 6.8 พันล้านดอลลาร์สหรัฐ TON แซงหน้า XLM ของ Stellar (0.1639 ดอลลาร์สหรัฐ เพิ่มขึ้น 2.61% รายสัปดาห์) และ SUI ของ Sui (1.05 ดอลลาร์สหรัฐ เพิ่มขึ้น 14.38% รายสัปดาห์) ในการจัดอันดับมูลค่าตลาด เมื่อ
GateNews2 ชั่วโมง ที่แล้ว
Mastercard, Ripple, JPMorgan และ Ondo Finance ดำเนินการชำระบัญชี Treasury แบบเรียลไทม์สำเร็จ
นักบินใช้ XRP Ledger และระบบโอนเงินของ JPMorgan เพื่อชำระธุรกรรม U.S. Treasury แบบโทเค็นภายในไม่กี่วินาที Mastercard เชื่อมโครงสร้างพื้นฐานบล็อกเชนเข้ากับระบบธนาคารแบบดั้งเดิมสำหรับเวิร์กโฟลว์การชำระบัญชีข้ามพรมแดน บริษัทสาธิตการชำระบัญชีระดับสถาบันตลอด 24/7 โดยใช้สินทรัพย์โทเค็นข้ามเครือข่ายบล็อกเชนสาธารณะและเครือข่ายฟีแอต Mastercard, Ripple, JPMorgan Chase และ Ondo Finance เสร็จสิ้นการทดสอบนำร่องการชำระบัญชีข้ามพรมแดน โดยเชื่อม XRP Ledger กับโครงสร้างพื้นฐานธนาคารแบบดั้งเดิม ธุรกรรมดังกล่าวเกี
CryptoFrontNews4 ชั่วโมง ที่แล้ว
Pi Network แบน Top DApp WorldBanksPi กับผู้ใช้ 140K โดยไม่มีการเตือนล่วงหน้า
ตาม Pi Network DEX เมื่อวันที่ 9 พฤษภาคม 2026 ทีมแกนหลักของ Pi Network ได้ลบ WorldBanksPi ซึ่งเป็น DApp อันดับต้น ๆ ใน Pi Browser ที่มีผู้ใช้งานมากกว่า 140,000 ราย ออกโดยไม่มีการแจ้งล่วงหน้าหรือกระบวนการอุทธรณ์ล่วงหน้า โครงการดังกล่าวถูกระบุว่าเป็นการดำเนินการลักษณะแบบแชร์ลูกโซ่ที่ใช้การตลาดเพื่อชี้มูลค่าที่เป็นเท็จ และรูปแบบ “ฝากเพื่อรับผลตอบแทน” ภายใต้แบรนด์ของ Pi Network ซึ่งขัดต่อมาตรฐานการปฏิบัติตามข้อกำหนดของระบบนิเวศ การลบครั้งนี้เป็นส่วนหนึ่งของการกวาดล้างระบบนิเวศโดยรวมก่อนถึงเส้นตายการ
GateNews7 ชั่วโมง ที่แล้ว
DMG Blockchain จัดตั้งบริษัทย่อย DMG Infrastructure เพื่อดำเนินงานด้าน AI และ HPC
ตาม BlockBeats เมื่อวันที่ 9 พฤษภาคม บริษัทขุด Bitcoin อย่าง DMG Blockchain ได้จัดตั้งบริษัทย่อย DMG Infrastructure เพื่อดำเนินธุรกิจด้านปัญญาประดิษฐ์และการประมวลผลสมรรถนะสูง (HPC) บริษัทมีแผนจะปรับเปลี่ยนศูนย์ข้อมูลไปสู่บริการด้าน AI และ HPC DMG Blockchain ผลิตได้ 21 BTC ในเดือนเมษายน ลดลงจาก 23 BTC ในเดือนมีนาคม
GateNews9 ชั่วโมง ที่แล้ว
Arc Blockchain ของ Circle เปิดโปรแกรมให้ทุนสำหรับนักพัฒนาซอฟต์แวร์ในวันที่ 9 พฤษภาคม
ตาม BlockBeats เมื่อวันที่ 9 พฤษภาคม บล็อกเชน Layer 1 ของ Circle ที่ชื่อ Arc ประกาศว่าโครงการให้ทุนสำหรับนักพัฒนาของบริษัทเปิดรับสมัครแล้ว โดยโครงการนี้จะสนับสนุนทีมที่มีคุณภาพสูงในการพัฒนาระบบระดับใช้งานจริงบน Arc ผ่าน USDC และแพลตฟอร์มสำหรับนักพัฒนาของ Circle โดยมีสาขาโฟกัส ได้แก่ การชำระเงิน กองทุนสำรอง การแลกเปลี่ยนเงินตรา และเศรษฐกิจแบบเอเจนต์ (agentic economy)
GateNews10 ชั่วโมง ที่แล้ว
