In den aktuellsten, die Mathematik-Welt aufregenden Nachrichten haben eine Gruppe von Absolventen der Tsinghua-Universität mit Hilfe von KI erfolgreich 162 bisher ungelöste mathematische Theoreme bewiesen. Noch beeindruckender ist, dass dieses LeanAgent genannte intelligente System sogar die formalisierte Herausforderung von Terence Tao an die Freiman-Ruzsa-Vermutung für Polynome gemeistert hat! Das lässt uns nur staunen, wie die Forschungsmethoden in den Grundlagenwissenschaften durch KI grundlegend verändert werden. Bekanntlich sind aktuelle Sprachmodelle (LLM), obwohl beeindruckend, größtenteils immer noch...

Die rasante Entwicklung der künstlichen Intelligenz macht die AI-Branche zu einem beliebten Beschäftigungsfeld für Hochschulabsolventen. Bewerber benötigen nicht nur fachliche Kenntnisse, sondern sollten auch durch Praktika, ehrenamtliche Tätigkeiten und die Erstellung eines Portfolios Praxiserfahrung sammeln und sich Empfehlungsschreiben sichern, um ihre Wettbewerbsfähigkeit zu stärken. Im Jahr 2024 bietet die AI-Branche Hochschulabsolventen zahlreiche gut bezahlte Positionen, darunter Robotik-Ingenieure, Data Scientists und Data Analysten, mit Jahresgehältern zwischen 100.000 und 160.000 US-Dollar. Die hohen Gehälter im KI-Bereich resultieren aus der hohen Marktnachfrage, dem Mangel an Fachkräften und dem hohen geschäftlichen Nutzen.

Forscher der Stanford University haben herausgefunden, dass die Übereinstimmung der von GPT-4 für Nature- und ICLR-Publikationen erstellten Gutachten mit denen menschlicher Gutachter über 50% beträgt. Die Forscher gaben GPT-4 die PDF-Dateien der Aufsätze zur Erstellung von Gutachten ein und verglichen diese anschließend mit den Gutachten von Menschen. Die Ähnlichkeit der von GPT-4 erstellten Gutachten war in über 82% der Fälle hoch, wobei die Autoren die Gutachten als hilfreich bewerteten. Im Vergleich zu Menschen achtet GPT-4 stärker auf den Impact Factor der Publikation und weniger auf Ablationsexperimente. Nutzer sind sich einig, dass das Feedback von GPT-4 die Genauigkeit verbessern und den Aufwand für die manuelle Begutachtung reduzieren kann.