Preuves et méthode

Une explication ne révèle pas les pensées cachées du modèle.

Nous distinguons le problème, le résultat annoncé, la méthode publiée, les preuves de vérification et notre interprétation. Seuls les raisonnements publics sont décrits ; une esquisse reconstruite n’est pas un relevé du raisonnement interne.

La vérification formelle porte sur un énoncé précis relativement aux définitions, axiomes et vérificateur. Les experts en examinent aussi le sens. Un score de benchmark ne résout pas nécessairement une conjecture.

La veille horaire consulte des sources officielles autorisées et arXiv. Des règles déterministes sélectionnent les travaux et conservent leurs versions. Les notes automatiques ne certifient ni nouveauté ni validité ; leur indexation attend un enrichissement substantiel.

Les corrections conservent sources, dates et incertitudes. Les anciennes versions restent dans le journal privé. Les pannes de source sont visibles, sans contenu inventé.

Google Search: AI features and your website · Research on reasoning faithfulness