Activity
Stars and mentions · Last 30 days, Oct 6 – Nov 4
Top repositories
lixiang90’s repositories ranked by new stars, as on trending.
Contributes to
Repositories outside lixiang90’s account where lixiang90 opened or reviewed pull requests in the past 365 days.
Who noticed lixiang90
Everyone who starred or forked lixiang90’s repositories since the archive began in 2011.
Notable accounts
Ordered by the stars their own repositories have received.
Biggest fans
Accounts that starred the most of these repositories.
Breakout weeks
Each repository’s best week of new stars, with the release published around it.
Achievements
Awards earned by the repositories lixiang90 owns. Select an award to embed its badge.
No awards yet
Repositories earn awards by reaching the top three in a completed trending day or week.
A repository earns an award for finishing first, second or third in a completed trending day or week, ranked by new stars, new forks or pull request authors. Awards follow a repository through renames and transfers and count toward its current owner. Weeks run Monday to Sunday, UTC.
Mentions
We proudly announce that we solved Erdős problem # 272 for N>=642498. Now, we are listed on Erdős benchmark for a score 0.8. N<642498 is still open. See paper and lean code on: lixiang90/Erdos272 t.co
@wangxigrow @0xdoug lixiang90/RH-Weil 欢迎大家合作，看看能不能把非零区域继续往下刷，现在是σ*≈0.874957019420099（openai的结果是7/8=0/875）