Person
Wang
2 stories · sorted newest first · 📡 RSS
New Large Language Model Formal Theorem Prover Kimina-Prover Preview 72B Unveiled
Kimina-Prover Preview 72B, a new formal theorem prover, leverages reinforcement learning for state-of-the-art performance on rigor
OpenAI Disproves Unit Distance Conjecture in Combinatorial Geometry
An AI model by OpenAI has made a groundbreaking discovery, disproving a 80-year old conjecture in discrete geometry. The unit dist