U.S. National Science Foundation
Das Programm Künstliche Intelligenz, formale Methoden und mathematisches Schließen (AIMing) soll Forschung an der Schnittstelle zwischen innovativen Computer- und KI-Technologien und neuen Strategien und Technologien des mathematischen Schließens unterstützen, um die Wissensentdeckung zu automatisieren.
Mathematisches Schließen ist eine zentrale Fähigkeit der menschlichen Intelligenz und spielt eine wichtige Rolle bei der Wissensentdeckung. In den letzten Jahrzehnten haben sowohl die Mathematik- als auch die Informatikgemeinschaft zur Forschung im maschinengestützten mathematischen Schließen beigetragen, einschließlich Vermutung, Beweis und Verifikation.
Dies geschah in Form von formalen Methoden und interaktiven Theorembeweisern sowie durch den Einsatz von Techniken der künstlichen Intelligenz. Jüngste technologische Fortschritte haben zu einem starken Anstieg des Interesses am maschinengestützten mathematischen Schließen seitens der mathematischen Wissenschaften, der formalen Methoden und der KI-Community geführt.
Umgekehrt haben Fortschritte in diesem Bereich potenzielle Auswirkungen auf die KI-Forschung.
Diese Möglichkeit wird von einer offiziellen externen Quelle veröffentlicht. Fairplace verarbeitet keine Bewerbungen dafür – Sie bewerben sich direkt auf deren Website.
