I tried to get o1-mini to prove distributive property for matmul and it tried like 3 times before basically saying "ok I can't get this but like trust me it holds"
o1-mini Struggles to Prove Matrix Multiplication Distributive Property
By
–
By
–
I tried to get o1-mini to prove distributive property for matmul and it tried like 3 times before basically saying "ok I can't get this but like trust me it holds"