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
551
2 Sources, first seen ago
4 likes1 comments2 saves2 reposts
