Erdős problem
PulseAugur coverage of Erdős problem — every cluster mentioning Erdős problem across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
AI's Erdos Problem Solution Consumes Minimal Water, Moderate Electricity
Ethan Mollick's Bluesky post estimates the resource cost of solving the Erdos problem using AI. The calculations suggest it required between 0.6 to 6.3 kWh of electricity and 3 to 31 liters of water. This consumption is…
-
GPT-5.4 Pro assists 23-year-old in solving 60-year-old Erdős problem
A 23-year-old individual leveraged GPT-5.4 Pro to solve a 60-year-old mathematical problem known as an Erdős problem. The solution, a proof based on discrete Markov chains, has been verified using the Lean proof assista…
-
Amateur uses ChatGPT to solve 60-year-old math problem, stunning academics
A 23-year-old individual named Liam Price, without formal advanced mathematics training, has reportedly solved a 60-year-old mathematical problem known as the Erdős problem concerning primitive sets. Price utilized Chat…