ข่าว 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
Hana Financial TI, XRPL Korea และ Xcela เสร็จสิ้นการพิสูจน์แนวคิดสำหรับเหรียญเสถียรที่หนุนด้วยวอนเกาหลี
ตามข้อมูลจาก Xcela, Hana Financial TI, XRPL Korea และ Xcela ได้เสร็จสิ้นการพิสูจน์แนวคิด (PoC) สำหรับเหรียญเสถียรที่หนุนด้วยวอนเกาหลีในวันที่ 30 เมษายน การตรวจสอบได้ทดสอบการออกเหรียญ การบริหารจัดการการหมุนเวียน การโอนสินทรัพย์ข้ามเชน และโครงสร้างการชำระบัญชีในสถาบันการเงินจริง
GateNews1 ชั่วโมง ที่แล้ว
OKX เปิดตัวโปรโตคอลการชำระเงินแบบเอเจนต์สำหรับวัฏจักรธุรกิจของ AI
การแลกเปลี่ยนคริปโต OKX ได้เปิดตัว Agent Payments Protocol (APP) ในวันพุธ ซึ่งเป็นมาตรฐานแบบเปิดที่ออกแบบมาเพื่อรองรับเอเจนต์ AI ที่ดำเนินวงจรธุรกิจแบบครบวงจร นอกเหนือจากแค่การชำระเงิน จากข้อมูลของ OKX โปรโตคอลนี้ทำให้บอต AI สามารถ “ชำระค่าสินค้าและชำระให้กันและกัน” พร้อมทั้งจัดการการเสนอราคา
CryptoFrontier3 ชั่วโมง ที่แล้ว
MARA เปิดตัวมูลนิธิ MARA เพื่อรักษาอนาคตของ Bitcoin พร้อมทั้งชี้ความเสี่ยงด้านควอนตัม
มูลนิธิ MARA มุ่งเน้นด้านความปลอดภัยของ Bitcoin การสนับสนุนซอฟต์แวร์โอเพนซอร์ซ การดูแลทรัพย์สินด้วยตนเอง การสนับสนุนนโยบาย และโครงการด้านการศึกษา
โครงการนี้รวมถึงการวิจัยเกี่ยวกับความเสี่ยงจากการประมวลผลควอนตัม โดยมีเป้าหมายเพื่อปกป้องความทนทานในระยะยาวของ Bitcoin และโครงสร้างพื้นฐาน
$100K grant เปิดตัวร่วมกับชุมชน
CryptoFrontNews9 ชั่วโมง ที่แล้ว
มูลนิธิ Ethereum เปิดเผยรายการเงินช่วยเหลือ Q1 2026 โดยเน้นการเข้ารหัสลับ, ZK และโครงสร้างพื้นฐานของโปรโตคอล
ตามที่ ChainCatcher ระบุ มูลนิธิ Ethereum ได้ประกาศเงินช่วยเหลือประจำไตรมาสที่ 1 ปี 2026 และโครงการสนับสนุนระบบนิเวศเมื่อวันที่ 29 เมษายน โดยให้ความสำคัญกับการเข้ารหัสลับ การพิสูจน์แบบไม่ใช้ความรู้ (ZK) ความปลอดภัยของโปรโตคอล และการพัฒนาโครงสร้างพื้นฐานหลัก การระดมทุนนี้สนับสนุนการปรับแต่งไคลเอนต์ (Geth, Erigon,
GateNews11 ชั่วโมง ที่แล้ว
Hyperliquid เปิดตัวโทเคนผลลัพธ์สำหรับตลาดคาดการณ์ พร้อมค่าธรรมเนียมแรกเข้าเป็นศูนย์
ตามรายงานของ CoinDesk Hyperliquid เพิ่งเปิดตัวโทเคนผลลัพธ์สำหรับตลาดคาดการณ์ โดยนำเสนอโมเดลค่าธรรมเนียมแรกเข้าเป็นศูนย์เพื่อแข่งขันกับ Polymarket และ Kalshi แพลตฟอร์มเรียกเก็บค่าธรรมเนียมเฉพาะสำหรับธุรกรรมการปิดหรือการชำระบัญชีในทุกสถานการณ์ ตั้งแต่การมิ้นต์ การเทรด การเบิร์น และการชำระบัญชี The
GateNews12 ชั่วโมง ที่แล้ว
มูลนิธิ Avalanche เปิดตัวโครงการทุนวิจัย พร้อมทุนได้สูงสุด $50K ต่อข้อเสนอ
ตามรายงานของ Odaily มูลนิธิ Avalanche ได้เปิดตัวโครงการทุนวิจัยเมื่อวันที่ 29 เมษายน โดยเชิญนักวิจัยด้านวิชาการทั่วโลกยื่นขอทุนได้สูงสุดถึง 50,000 ดอลลาร์สหรัฐต่อข้อเสนอ โครงการนี้มุ่งเน้นสองประเด็นหลัก ได้แก่ การกำหนดราคาสินทรัพย์คริปโทเคอร์เรนซีและการประเมินมูลค่าภายในเครือข่ายที่ใช้กลไกพิสูจน์การเดิมพัน (proof-of-stake) และเศรษฐศาสตร์ของผู้ตรวจสอบ (validator) รวมถึงความปลอดภัยของเครือข่าย
GateNews12 ชั่วโมง ที่แล้ว
