Datorer
En tioårig dispyt inom matematiken kring Shinichi Mochizukis bevis för ABC-konjekturen kan lösas med datorformalism. Mochizuki har föreslagit att översätta sitt 500-sidiga verk till programmeringsspråket Lean för automatisk verifiering. Detta tillvägagångssätt skulle kunna överbrygga skillnaderna mellan de motstridiga lägren i den matematiska gemenskapen.
Rapporterad av AI
En artikel publicerad den 18 oktober 2025 föreslår innovativa användningsområden för föråldrade laptops för att förlänga deras nytta och minska avfall. Från hemsäkerhet till utbildning syftar dessa idéer till att ge nytt liv åt vilande enheter.