Dong Bin
A professor at Peking University whose research areas include formal verification of mathematics; he participated in the development of the SHEAF framework.
Timeline (last 90 days)
The team of Professor Dong Bin and Academician Liu Ruochuan of Peking University used the self-developed SHEAF framework to carry out formal verification of the proof of the three-dimensional Ghys conjecture, confirming its strict correctness and passing the Lean check.
The team of Professor Dong Bin and Academician Liu Ruochuan of Peking University completed the formal verification of all four main theorems of this paper, the entire process taking only about 5 days, with peak concurrency reaching 100 agents and producing about 550,000 lines of Lean code.
All Facts (2)
The team of Professor Dong Bin and Academician Liu Ruochuan of Peking University completed the formal verification of all four main theorems of this paper, the entire process taking only about 5 days, with peak concurrency reaching 100 agents and producing about 550,000 lines of Lean code.
50%UnverifiedThe team of Professor Dong Bin and Academician Liu Ruochuan of Peking University used the self-developed SHEAF framework to carry out formal verification of the proof of the three-dimensional Ghys conjecture, confirming its strict correctness and passing the Lean check.
50%