Laboratoire open source de recherche mathématique assistée par IA autour des six problèmes du millénaire encore ouverts.
Le projet ne collectionne pas des « preuves » invérifiables. Il organise un processus reproductible :
source primaire
→ affirmation structurée
→ graphe de dépendances
→ calcul ou dérivation
→ attaque contradictoire
→ réplication
→ formalisation lorsque possible
- fidélité aux énoncés officiels ;
- sources primaires et versions explicites ;
- séparation entre preuve, calcul, heuristique et spéculation ;
- conservation des échecs et contre-exemples ;
- expériences reproductibles ;
- contribution humaine ou IA avec provenance ;
- aucune revendication de résolution sans audit indépendant.
problems/ espaces des six problèmes
claims/ affirmations structurées
proof-graphs/ graphes de dépendances
experiments/ calculs reproductibles
formal/ projets et ponts Lean
literature/ index de sources, sans copies illégitimes
failures/ pistes réfutées
agents/ prompts et protocoles autonomes
schemas/ contrats machine-readable
docs/ contexte, décisions et feuille de route
python .github/scripts/check_repo_contract.py .
python scripts/validate_claims.py
python scripts/render_prompts.py --checkVoir CONTRIBUTING.md avant de proposer une affirmation ou une expérience.
Les décisions scientifiques sont décrites dans docs/governance.md, l'architecture dans docs/architecture.md et les étapes de développement dans docs/roadmap.md.
Les six prompts autonomes directement copiables se trouvent dans agents/prompts/. Ils sont générés depuis une mission spécialisée et le protocole commun avec python scripts/render_prompts.py.
Bootstrap expérimental. Aucun problème du millénaire n'est revendiqué comme résolu par ce dépôt.
MIT. Les sources externes conservent leurs licences respectives et ne doivent pas être recopiées sans autorisation.