Regneark er nesten løst @tryshortcutai Et øyeblikk kommer for regnearkarbeid i løpet av de neste par månedene, slik det gjorde for AI-koding i august 2024. Jeg skjønte ikke helt hvor verifiserbare regneark var i begynnelsen. Det viser seg at regneark egentlig bare er matematikk.