minus-squareAudalin@lemmy.worldtoTechnology@lemmy.world•Why mathematics is set to be revolutionized by AIlinkfedilinkEnglisharrow-up0·7 months agoThe article isn’t about automatic proofs, but it’d be interesting to see a LLM that can write formal proofs in Coq/Lean/whatever and call external computer algebra systems like SageMath or Mathematica. linkfedilink
The article isn’t about automatic proofs, but it’d be interesting to see a LLM that can write formal proofs in Coq/Lean/whatever and call external computer algebra systems like SageMath or Mathematica.