Is AI Formula Generation a Solution to Spreadsheets’ Biggest Problem? | Dark Hacker News