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. 👇