@Nev_Oa@BBulbizarre certes mais bon l'ia l'amplifie très largement vu qu'elle peut pondre des démonstrations de 1500 pages d'un coup, alors que ça fait cinquante ans qu'on a toujours pas clarifié la classification des groupes finis simples parce que y'a 5000 pages de preuves.
@Nev_Oa@BBulbizarre Avoir une tonne de résultats que personne n'est capable d'expliquer, d'exploiter ou d'utiliser pour développer de nouvelles théories, même si on arrive à les prouver en lean, c'est assez peu utile
@Nev_Oa@BBulbizarre Meme si à terme l'IA dépasse complétement les capacités humaine pour la recherche en mathématiques, la destruction de la structure académique et à terme de l'enseignement va juste couler le domaine
NOTRE ADVERSAIRE POUR LES QUARTS DE FINALE DES WORLDS SERA MKOI
KCORP CONTRE KOI
UNE ÉQUIPE ÉLIMINÉE ET UNE ÉQUIPE EN QUART DE FINALE DES WORLDS.
PRÉPARE TOI @IbaiLlanos ON VA TE RAPPELER QUE TON CLUB EST UN CLUB DE MERDE.
Le stream de demain débrief 17 octobre + les trophées de Vitality + la défaite de C9 + débrief de la victoire contre MVK + préparation du BO qualificatif pour les Swiss stage