#ai-generated-proofs on Hacker News

2 stories tagged ai-generated-proofs, newest first.

Screenshot of ahmath.org: AHM Statement on OpenAI's October 6 Release of Mathematical Documents

AHM Statement on OpenAI's October 6 Release of Mathematical Documents (ahmath.org)

35 points by kkoncevicius 18 days ago | 31 comments

A statement from the AHM mathematicians' group responding to OpenAI's October 6, 2026 release of manuscripts claiming solutions to high-profile math problems.

openai mathematics ai-generated-proofs ahm

Screenshot of github.com: OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples (github.com)

20 points by tootie 19 days ago | 6 comments

GitHub directory in OpenAI's math repository containing hundreds of preprints of mathematical proofs and counterexamples.

openai mathematics preprints ai-generated-proofs

#ai-generated-proofs on Hacker News

AHM Statement on OpenAI's October 6 Release of Mathematical Documents(ahmath.org)

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples(github.com)

AHM Statement on OpenAI's October 6 Release of Mathematical Documents (ahmath.org)

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples (github.com)