Activity, over time
Daily observations from the public event archive.
Attention
Daily stars & forks
Star accumulation
Cumulative stars
Pull requests
Daily opens & merges
Conversations
Daily issues & comments
Community
Daily accounts & reviews
Releases
Daily releases
Trending history
Daily top 10 · last 90 days · UTC
Mentions
Stars
Forks
Contributors
Latest stargazers
The last 10 distinct accounts we observed this year.
Most active participants
PR, issue, comment & review events in the past year.
Packages
Scan pending.
README badges
Embed a badge in your README or website.
Live mentions · last 30 days
Mentions
deepmind's repo: github.com/google-deepmind/superhuman/tree/main/F… · nguyen's paper: arxiv.org
a Gemini agent proved Erdős-Hajnal for all paths, Google says and the same README credits a human, Tung Nguyen, with solving it before their agent did github.com/google-deepmind/superhuman/tree/main/F…
The Erdős-Hajnal conjecture for excluding paths has been proved independently by at least 2 groups, 1. Tung Nguyen at Oxford 2. Google DeepMind Also claimed by Yuwen Zhou at UBC... (But according to Junehyuk, the lean formalization is not complete) arxiv.org github.com/google-deepmind/superhuman/tree/main/F…
The proof by Google DeepMind is at github.com/google-deepmind/superhuman/tree/main/F…