formal-proofs
Everything on Ground Truth tagged “formal-proofs” — 1 item.
OpenAI withdraws three math manuscripts as its mass release enters review News
OpenAI withdrew three related manuscripts and revised fourteen others, leaving 719 manuscripts and 300 formalized top-line results in its mathematics release.