Je n'ai pas réussi à trouver de lien, mais j'ai vu en cours que la nasa à utilisé un simulateur pour tester en brut force les formes d'antennes les plus efficaces et ils se sont retrouvé avec des propositions de formes complétement bizaroïdes mais qui fonctionnent effectivement (et surtout ça fait des antennes de quelques centimètres là où i-l faudrait 12m avec une antenne toute droite).
Le plus drôle étant évidemment que personne n'est capable d'expliquer pourquoi cette forme fonctionne si bien !
Mais bon, là j'viens de finir de lire un article qui présente un programme qui prend en entrée des axiomes et un postulat, et qui en sortie peut te balancer une démonstration compréhensible (si le postulat est correct évidemment) en anglais. Bon leur truc fonctionne qu'avec des postulats pas trop complexes pour le moment. Mais n'empêche qu'on arrive aujourd'hui à faire des programmes capables de nous expliquer des théorèmes de façon clair et précise.
[^] # Re: Révolution
Posté par psychoslave__ (site web personnel) . En réponse au journal Qui a révolutionné le monde ?. Évalué à 3.
Je n'ai pas réussi à trouver de lien, mais j'ai vu en cours que la nasa à utilisé un simulateur pour tester en brut force les formes d'antennes les plus efficaces et ils se sont retrouvé avec des propositions de formes complétement bizaroïdes mais qui fonctionnent effectivement (et surtout ça fait des antennes de quelques centimètres là où i-l faudrait 12m avec une antenne toute droite).
Le plus drôle étant évidemment que personne n'est capable d'expliquer pourquoi cette forme fonctionne si bien !
Mais bon, là j'viens de finir de lire un article qui présente un programme qui prend en entrée des axiomes et un postulat, et qui en sortie peut te balancer une démonstration compréhensible (si le postulat est correct évidemment) en anglais. Bon leur truc fonctionne qu'avec des postulats pas trop complexes pour le moment. Mais n'empêche qu'on arrive aujourd'hui à faire des programmes capables de nous expliquer des théorèmes de façon clair et précise.