BUNRIN AI LABO
Latest
PLUS ULTRA
News
Features
Data
English
日本語
English
Tag: John Conway
News
AI Multi-Agent Workflow Produces Lean-Verified Proof of Conway’s Refinement Conjecture