Report
GPT-6 reportedly picked EQP's 1996 proof as AI's first advance at the frontier of mathematics
A user says Michael McClune's automated theorem prover EQP showed every Robbins algebra is a Boolean algebra in 1996.
TLDR
A user marked 30 years since Michael McClune's automated theorem prover EQP showed, on October 10, 1996, that every Robbins algebra is a Boolean algebra. The user also said GPT-6 picked that result as the first time AI advanced the frontier of mathematics.
Combined views
1.3K
2 Sources, first seen ago
