Search: erdosproblems.com | Heykuki News

HK

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

2 years ago

160 points

2.

A crowdsourced project to link up erdosproblems.com to the OEIS

terrytao.wordpress.com

10 months ago

3 points

3.

Amateur armed with ChatGPT solves an Erdős problem

scientificamerican.com

2 months ago

796 points

4.

ChatGPT finds an error in Terence Tao's math research

4 months ago

42 points

5.

Show HN: Another experiment with an Erdos problem and LLMs

2 months ago

1 points

6.

AI just proved Erdos Problem #124

erdosproblems.com

7 months ago

242 points

7.

Erdos Problems Collection

erdosproblems.com

2 years ago

82 points

8.

Sum-product, unit distances, and number fields

erdosproblems.com

22 days ago

67 points

9.

Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean

erdosproblems.com

7 months ago

16 points

10.

Erdős Problem 166 has fallen

erdosproblems.com

3 years ago

7 points

11.

GPT-5.4 pro solves erdos problem #1196

erdosproblems.com

2 months ago

4 points

12.

GPT 5.2 helps solve Erdős problem #728

erdosproblems.com

6 months ago

4 points

13.

GPT 5.4 solves major open math problem- Comments by Terry Tao and Jared Lichtman

erdosproblems.com

2 months ago

3 points

14.

Another Erdos Problem Solved

erdosproblems.com

2 months ago

3 points

15.

Erdos #1051 Forum

erdosproblems.com

5 months ago

3 points

16.

Erdõs Problem #281

erdosproblems.com

5 months ago

2 points

17.

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

erdosproblems.com

7 months ago

2 points

18.

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

erdosproblems.com

5 months ago

2 points

19.

Aristotle from Harmonic has solved this Erdos problem

erdosproblems.com

7 months ago

2 points