Loading profile…

Loading activity…

World & Business

Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

Xavi (@xavicfu) · Digg

Xavi

@xavicfu

Student

following
followers

Featured in

AI

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.

1301234567890123456789

2 Sources, 20d ago, first seen 20d ago

Connections

@xavicfu