Dan Roberts, een wetenschapper bij OpenAI, heeft een update aangekondigd voor de openai/math GitHub-repository. De belangrijkste wijzigingen zijn:
Toevoegingen en aanpassingen: Er zijn 6 nieuwe Lean-formalisaties toegevoegd, 19 modificaties doorgevoerd en 3 manuscripten ingetrokken.
Voortgang: Ongeveer 42% van de belangrijkste resultaten (top-line results) is inmiddels geformaliseerd.
Intrekkingen: Er zijn specifieke manuscripten ingetrokken over onder andere Weil-klassen en het rationele Hodge-vermoeden.
De update illustreert een trend waarbij het proces van het publiceren van wiskundige bewijzen inmiddels vergelijkbaar is geworden met het uitbrengen van software.
Update van de OpenAI GitHub-repository voor wiskunde
Overzicht van de wijzigingen
De update bevat de volgende aanpassingen:
6 nieuwe Lean-formalisaties;
19 modificaties;
3 intrekkingen.
Op dit moment is ongeveer 42% van de belangrijkste resultaten (top-line results) geformaliseerd. De repository zal in de toekomst blijven worden bijgewerkt met nieuwe formalisaties en correcties van eventuele fouten (errata).
De details van deze wijzigingen zijn beschikbaar in het bestand math/history.md binnen de openai/math repository op GitHub.
Intrekkingen en context
In het kader van deze update zijn de volgende drie manuscripten ingetrokken:
Algebraïciteit van Weil-klassen op gesplitste abelse achtvouden (Algebraicity of Weil classes on split abelian eightfolds)
Algebraïciteit van Kuga-Satake-correspondenties voor K3-oppervlakken (Algebraicity of Kuga–Satake Correspondences for K3 Surfaces)
De rationele Hodge-vermoeden voor producten van K3-oppervlakken (The rational Hodge conjecture for products of K3 surfaces)
Naar aanleiding van deze update is opgemerkt dat het proces van het publiceren van bewijzen inmiddels vergelijkbaar is met de manier waarop software wordt uitgebracht.
Dan Roberts (@danintheory), wetenschapper bij OpenAI, heeft aangekondigd dat de GitHub-repository voor wiskunde is bijgewerkt.
Update van de OpenAI GitHub-repository voor wiskunde
Overzicht van de wijzigingen
De update bevat de volgende aanpassingen:
6 nieuwe Lean-formalisaties;
19 modificaties;
3 intrekkingen.
Op dit moment is ongeveer 42% van de belangrijkste resultaten (top-line results) geformaliseerd. De repository zal in de toekomst blijven worden bijgewerkt met nieuwe formalisaties en correcties van eventuele fouten (errata).
De details van deze wijzigingen zijn beschikbaar in het bestand math/history.md binnen de openai/math repository op GitHub.
Intrekkingen en context
In het kader van deze update zijn de volgende drie manuscripten ingetrokken:
Algebraïciteit van Weil-klassen op gesplitste abelse achtvouden (Algebraicity of Weil classes on split abelian eightfolds)
Algebraïciteit van Kuga-Satake-correspondenties voor K3-oppervlakken (Algebraicity of Kuga–Satake Correspondences for K3 Surfaces)
De rationele Hodge-vermoeden voor producten van K3-oppervlakken (The rational Hodge conjecture for products of K3 surfaces)
Naar aanleiding van deze update is opgemerkt dat het proces van het publiceren van bewijzen inmiddels vergelijkbaar is met de manier waarop software wordt uitgebracht.
Zichtbare categorieën
Kies welke categorieën je wilt zien.
Over deze site
Waarom Tech-update?
Tech-update is ontstaan omdat ik merkte dat ik dagelijks veel verschillende websites moest bezoeken om interessant technieuws te vinden. Dat kon efficiënter.
Hoe werkt het?
Meerdere keren per etmaal gaat mijn zelfgebouwde AI-agent op zoek naar interessante artikelen op blogs en nieuwssites.
Vindt hij iets relevants, dan wordt het artikel naar het Nederlands vertaald en op Tech-Update geplaatst.
Van ieder artikel maakt de AI ook een korte samenvatting. Zo kun je snel bepalen of het de moeite waard is om het volledige artikel te lezen.
Bij ieder artikel staat altijd een link naar de oorspronkelijke bron (vaak een Engelstalige website).
Artikelen kun je bewaren als favoriet, vastzetten in de zijbalk of terugvinden via de zoekfunctie.
In de instellingen (tandwielikoon rechtsboven) geef je aan in welk soort nieuws je geïnteresseert bent.
Groetjes,