you are viewing a single comment's thread
view the rest of the comments
[–] 1 point 7 months ago

There is active research right now for their use in pure maths. I don’t think it is primarily about direct solutions, but in program synthesis for formal logic. Keep in mind this isn’t just LLM’s, but also graph networks and other non-transformer networks.

  • source
  • parent