Accès ouvert déclaré 2026 software

HaigAd/formal-conjectures: OEIS A105565 Lean-verified proof v1.0.1

Moritz Firsching, Paul Lezeau, Salvatore Mercuri, Daniel Chin, Will Blair, Jean-Guillaume Durand, Calle Sönne, Yael Dillies, Yongxi (Aaron) Lin, Felix Pernegger, henrykmichalewski, Seewoo Lee, Chakshu Gupta, Ralf Stephan, Reklle, Eric Wieser, X, Bhavik Mehta, Samuel Schlesinger, Miklós Z. Horváth, Cong Lu, Derek Steinkamp, Jash Doshi, Dhruv Kumar Jha, Anirudh Rao, KitaKen1, Danie-I, Robert Joseph, Franz Huschenbeth, Bolton Bailey

0Citations signalées — pas une note de qualité
8Institutions déclarées
4Pays d’affiliation déclarés

Résumé fourni par la source

Archival release for the complete Lean 4 proof of the OEIS A105565 discrepancy conjecture, with a short human-readable proof note. This release has the same verified proof content as v1.0.0 and was issued after enabling Zenodo archiving. Solved by OpenAI Codex, prompted by Adam Haig. Formal Conjectures PR: https://github.com/google-deepmind/formal-conjectures/pull/4958

Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.

Contrôle bibliographique ouvert

La source scientifique ouverte est momentanément indisponible.

Institutions déclarées

Google (United States)Google DeepMind (United Kingdom)Imperial College LondonInstitute of Aviation MedicineStockholm UniversityCTS Corporation (Czechia)California Institute of TechnologyIllumina (United States)

Une affiliation ne permet pas de déduire la nationalité d’un auteur.

Lire en accès ouvert Consulter la publication primaire DOI

BNTIC News n’est pas le producteur de ces données. Recherche à la demande dans Crossref et Europe PMC, sans clé ; OpenAlex reste optionnel. Aucun service payant requis, aucune réponse conservée. Sources et limites.