陶哲軒：AI對 Erdős 問題的貢獻

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

To see all available qualifiers, see our documentation.

Uh oh!

There was an error while loading. Please reload this page.

AI contributions to Erdős problems

This page collects the various ways in which AI tools have contributed to the understanding of Erdős problems. Note that a single problem may appear multiple times in these lists.

Legend:

1. AI-generated solutions, partial solutions, or negative results for previously open problems

2. Fully AI-generated solutions to problems thought open, but for which an earlier human solution was subsequently found

3. AI-generated tools applied to problems previously known to be solved (or partially solved)

4. Solutions generated by humans in collaboration with AI

5. Problems with an AI-powered literature review

6. Proofs that were formalized by AI

Toggle table of contents

  Pages 2

Uh oh!

There was an error while loading. Please reload this page.

Clone this wiki locally

Footer

Footer navigation