Headlines Flash

Sun, Aug 16 09:30 PM

💻 Technology

John Carlos Baez: How many Erdős problems will be solved by the end of the year?

Hacker News•Sun, Aug 16, 2026, 06:51 PM•2 min read

2 points, 0 comments on Hacker News

Source: [Hacker News](https://mathstodon.xyz/@johncarlosbaez/117105042105698101)

📰 Read Full Story

This is an aggregated headline summary. For the complete report, visit the original publisher.

Continue Reading at Hacker News ↗

#tech #john #carlos #baez #erd #problems #solved #end

More Headlines

TechnologyHacker News• 3m ago

Trump Family World Liberty Financial Gets Preliminary Approval to Launch a Bank

1 points, 0 comments on Hacker News

TechnologyHacker News• 3m ago

OEIS Open: A benchmark of 492 unsolved math conjectures, formalized in Lean

1 points, 0 comments on Hacker News

TechnologyHacker News• 9m ago

Show HN: VocalCode – push-to-talk dictation for AI coding agents, on-device

1 points, 0 comments on Hacker News

TechnologyHacker News• 10m ago

A faster way to calculate the day-of-the-week

1 points, 0 comments on Hacker News

TechnologyHacker News• 13m ago

Don't blame Claude – It's me, I'm the problem, it's me

2 points, 0 comments on Hacker News

TechnologyHacker News• 15m ago

Show HN: GitFC – Turn your GitHub profile into a football card

I Built GitFC because I always wanted to see how an activity of Github would look like if treated like football player stats. Here you include your github username and it generated an EA FC style card. It will tell you an overall rating and stats like passing , shooting which would be based on ...