„Die Mathematik durchläuft die größte Veränderung in ihrer Geschichte.“ Ich freue mich, dass unser Mathematik-Agent #Aletheia von @newscientist in Bezug auf seine Ergebnisse beim FirstProof-Inaugural-Challenge hervorgehoben wird, zusammen mit anderen interessanten Meilensteinen in der KI-Forschung für Mathematik! Über die Implikationen lohnt es sich nachzudenken. Link im Thread.

Ich freue mich, mitteilen zu können: #Aletheia, unser mathematischer Forschungsagent, hat gerade 6 von 10 notorisch schwierigen FirstProof-Problemen autonom gelöst, das beste Ergebnis in der ersten Herausforderung! Für mich ist das sogar noch größer als unser historischer IMO-Gold-Erfolg im letzten Jahr; diese Probleme stellen selbst die besten Mathematiker vor Herausforderungen. Wir teilen unsere Ergebnisse transparent, siehe das Papier und die vollständigen Gedanken im Thread. 👇