top | item 46074813 (no title) mekpro | 3 months ago How this improvement translate into real world agentic coding task ? discuss order hn newest ogogmad|3 months ago It doesn't. However, having a free-of-charge maths genius available 24/7 has broad potential. It's hard to predict what it will be used for. indolering|3 months ago It would be helpful in automating the busy work of many verification aware programming languages. At least the Dafny authors are excited about it. load replies (2) simulator5g|3 months ago This already exists: https://www.wolframalpha.com/ load replies (1)
ogogmad|3 months ago It doesn't. However, having a free-of-charge maths genius available 24/7 has broad potential. It's hard to predict what it will be used for. indolering|3 months ago It would be helpful in automating the busy work of many verification aware programming languages. At least the Dafny authors are excited about it. load replies (2) simulator5g|3 months ago This already exists: https://www.wolframalpha.com/ load replies (1)
indolering|3 months ago It would be helpful in automating the busy work of many verification aware programming languages. At least the Dafny authors are excited about it. load replies (2)
ogogmad|3 months ago
indolering|3 months ago
simulator5g|3 months ago