Latest
PLUS ULTRA
News
Features
Data

Latest PLUS ULTRA News Features Data

 English

日本語
English

Tag: Lean

News

AI Agents Discover Faster Shortest Path Algorithm and Provide Formal Lean Proof

About BUNRIN AI LABO Editorial Policy Disclaimer Privacy Policy About Bunrin Bench

BUNRIN AI LABO — news on AI and updates to local LLM software

© 2026 Bunrin Works