Search: erdosproblems.com | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

AI for math resources, and erdosproblems.com (terrytao.wordpress.com)

160 points

2 years ago

2.

A crowdsourced project to link up erdosproblems.com to the OEIS (terrytao.wordpress.com)

3 points

9 months ago

3.

Amateur armed with ChatGPT solves an Erdős problem (scientificamerican.com)

796 points

a month ago

4.

ChatGPT finds an error in Terence Tao's math research

42 points

3 months ago

5.

Show HN: Another experiment with an Erdos problem and LLMs

1 point

a month ago

6.

AI just proved Erdos Problem #124 (erdosproblems.com)

242 points

6 months ago

7.

Erdos Problems Collection (erdosproblems.com)

82 points

2 years ago

8.

Sum-product, unit distances, and number fields (erdosproblems.com)

65 points

5 days ago

9.

Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (erdosproblems.com)

16 points

6 months ago

10.

Erdős Problem 166 has fallen (erdosproblems.com)

7 points

3 years ago

11.

GPT-5.4 pro solves erdos problem #1196 (erdosproblems.com)

4 points

2 months ago

12.

GPT 5.2 helps solve Erdős problem #728 (erdosproblems.com)

4 points

5 months ago

13.

GPT 5.4 solves major open math problem- Comments by Terry Tao and Jared Lichtman (erdosproblems.com)

3 points

2 months ago

14.

Another Erdos Problem Solved (erdosproblems.com)

3 points

2 months ago

15.

Erdos #1051 Forum (erdosproblems.com)

3 points

4 months ago

16.

Erdõs Problem #281 (erdosproblems.com)

2 points

5 months ago

17.

Harmonic's Math AI (Aristotle) Solves an Erdős-Problem (erdosproblems.com)

2 points

6 months ago

18.

Erdős Problem #347 Solved (AI assisted math) (erdosproblems.com)

2 points

4 months ago

19.

Aristotle from Harmonic has solved this Erdos problem (erdosproblems.com)

2 points

6 months ago