J'ai eu le plaisir de discuter avec @TheTuringPost de tout ce qui concerne Axiom et AI4Math ! Régler: - Ma définition de l'AGI par rapport à l'ASI spécifique à un domaine, la métaphore de l'assiette, la possibilité pour un modèle bavard ou poétique de prouver l'hypothèse de Riemann, et l'incroyable pouvoir d'apprentissage par transfert des mathématiques vers la programmation et l'ingénierie - Pourquoi un mathématicien spécialisé en IA a besoin à la fois de capacités de démonstration et de construction, ce qui correspond aux deux branches d'Axiom : la démonstration formelle et les découvertes spécialisées - La rareté des données par rapport au code, le problème de la poule et de l'œuf de l'autoformalisation, les paris audacieux d'Axiom sur les données synthétiques et notre vision de la génération de nouvelles connaissances - Résolution de problèmes vs élaboration de théories : pourquoi l’élaboration de théories est plus difficile à évaluer que les Olympiades internationales de mathématiques (OIM), et pourquoi la recherche documentaire, si souvent mise en avant par les titulaires d’un LLM aujourd’hui, est insatisfaisante. https://t.co/HxRoCSOa2S
Chargement du thread
Récupération des tweets originaux depuis X pour offrir une lecture épurée.
Cela ne prend généralement que quelques secondes.