不过，MacRumors 评论区有网友指出，此次变化的直接诱因更可能是欧盟法规的推动。
The AI community has already made its choice. AlphaProof (Google DeepMind), Aristotle (Harmonic), SEED Prover (ByteDance), Axiom, Aleph (Logical Intelligence), and Mistral AI all build on Lean. Every major AI reasoning system that has achieved medal-level performance at the International Mathematical Olympiad used Lean. No competing platform was used by any of them. The future is much larger than today’s early applications.
，推荐阅读Safew下载获取更多信息
Detecting fires caused by lithium-ion batteries is challenging
В МОК высказались об отстранении израильских и американских спортсменов20:59