Caltech Mathathon: 40 Stunden, 2 Mio. Dollar KI-Credits – und ein offenes Problem soll fallen
Caltech Mathathon – first hackathon ever devoted to research level mathematics
Das Caltech Mathathon ist der erste Hackathon, der sich der Mathematik auf Forschungsebene widmet. Vom 30. Oktober bis 1. November treten hundert Teams mit modernsten KI-Modellen gegen offene Vermutungen an – von Erdős' planarer Unit-Distance-Vermutung bis zur komplexen Struktur der sechs Sphäre. Die Ergebnisse werden vor führenden Mathematikern verteidigt und mit Preisen belohnt. Die Veranstaltung will herausfinden, wie stark KI den Weg von der Idee zur Peer-Review-Publikation beschleunigen kann und welche Rolle Mathematiker spielen, wenn KI Conjectures schneller löst.
Zum ersten Mal in der Geschichte wird ein Hackathon der Mathematik auf Forschungsebene gewidmet sein.
- xqcgrek2
Kein Mathematiker mit Selbstachtung wird sich freiwillig zum Marketinginstrument dieser Firmen machen, um vernachlässigte und irrelevante Rätsel zu lösen.
- Semkas
Ich will nicht abstreiten, dass das eine interessante Idee ist, aber ich habe das Gefühl, dass das Warten auf die Ausgabe eines LLM für 40 Stunden völlig dem widerspricht, was klassische Hackathons attraktiv und lehrreich macht. Generell glaube ich nicht, dass das Format eines Hackathons (intensives Arbeiten über einen kurzen Zeitraum) überhaupt auf die Art und Weise passt, wie LLM-Mathe-Fortschritte bisher gemacht wurden; soweit ich weiß, geht es dabei meist darum, dem Modell etwas auszusuchen und es dann eine Woche lang mit sporadischer Korrektur und Ermutigung laufen zu lassen.
- youoy
Soll ich das so verstehen, dass die großen Labore versuchen, die Mathematik voranzubringen? Oder dass die großen Labore versuchen, professionelle Mathematiker als (billige?) Arbeitskräfte zur Validierung von LLM-Ausgaben einzusetzen? In dem gestrigen Beitrag "An Alien Mind" von OpenAI haben sie offen gesagt, dass Mathematik für sie keine Priorität hat, also weiß ich persönlich, was ich davon halten soll...
- corinthia
Kürzlich Caltech-Absolvent hier! Und ich kenne einige der Organisatoren gut. Die Informatik-Fakultät von Caltech ist sehr, sehr schwach und hatte in den letzten Jahren Schwierigkeiten, Top-Leute zu rekrutieren, und die neuesten KI-Professoren hatten Probleme. Das ändert sich langsam, aber ein Großteil der Motivation dafür war, den Studierenden eine Möglichkeit zu schaffen, ML-"Anerkennung" zu bekommen und etwas über KI zu lernen, da das gerade nicht über die Schule möglich ist. Freut mich wirklich, dass HN das aufgegriffen hat!
- chaoxu
Ich habe mich als Team beworben, hoffentlich komme ich rein. In letzter Zeit beschäftigt mich, wie man ein Gerüst für Mathematik schaffen kann, das die vollständige Denkfähigkeit des Modells ausnutzt. Mir geht es sowohl um Fähigkeit als auch um Kosten. Die meisten generischen Gerüste, die wir jetzt haben, sind nicht darauf ausgelegt, das Denken zu maximieren. Ich habe Agenten wie Codex getestet, und selten übersteigen die Kosten für Reasoning-Tokens 20 %. Das ist ziemlich seltsam, da Mathematik viel Denken erfordert. Hackathons könnten also ein gutes Testfeld sein.