Bewijs en werkwijze

Een uitleg is geen venster op verborgen modelgedachten.

Deze atlas onderscheidt het probleem, het gemelde resultaat, de gepubliceerde methode, de verificatie en onze duiding. We beschrijven uitsluitend redeneerinformatie uit de openbare bronnen. Een gereconstrueerde bewijsschets is geen transcript van het interne denkproces.

Formele controle toetst een precieze stelling ten opzichte van definities, axioma’s en het controleprogramma. Experts beoordelen ook of die stelling de bedoelde wiskunde weergeeft. Een benchmarkscore is geen nieuw opgelost vermoeden.

De uurtaak leest toegestane officiële bronnen en arXiv-metadata. Vaste selectieregels bepalen relevantie en bewaren bronversies. Zij bewijzen geen nieuwheid, peer review of juistheid. Automatische berichten zijn leesbaar, maar worden pas na inhoudelijke verrijking geïndexeerd.

Nieuwe claims en correcties behouden bronvermelding, publicatiedatum en onzekerheid. Eerdere versies blijven in het afgeschermde logboek. Uitgevallen bronnen worden als uitgevallen getoond; er wordt geen nieuws verzonnen.

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