Skip to content

Add durable AI and mathematics resources - #189

Merged
rossant merged 1 commit into
masterfrom
content/ai-math-current-directions
Aug 13, 2026
Merged

rossant merged 1 commit into
masterfrom
content/ai-math-current-directions

Conversation

@rossant

@rossant rossant commented Aug 13, 2026

Copy link
Copy Markdown
Owner

Summary

  • add five durable AI and mathematics resources
  • add rules for talks, essays, seminars, workshops, and case studies
  • add a resource-type field to the nomination form
  • point LeanDojo v2 to its official project page

Why

Recent activity in AI and mathematics belongs in the list when it has lasting
mathematical value. These additions favor maintained calendars, recurring
series, recorded workshop archives, and independent assessment.

The new contribution rules set a higher bar for short-lived announcements,
leaderboards, model rankings, and claims without supporting technical material.

Checks

  • python scripts/validate.py
  • npx --yes awesome-lint@2.3.0
  • nomination form YAML parse
  • direct checks of all new and updated links
  • git diff --check

@rossant
rossant marked this pull request as ready for review August 13, 2026 21:39
@rossant
rossant merged commit e8247dc into master Aug 13, 2026
1 check passed
@rossant
rossant deleted the content/ai-math-current-directions branch August 13, 2026 21:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant