Comment Comment by prometheus1992 Can someone with more knowledge help me with this silly question in my head?>>Along the way, it wrote 13 million lines of Lean and proved 29,500 intermediate theoremsDid a human check the 13 million lines of code? How does QA'ing this type of work works? parent prometheus1992 1 month ago
>>Along the way, it wrote 13 million lines of Lean and proved 29,500 intermediate theorems
Did a human check the 13 million lines of code? How does QA'ing this type of work works?