Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Making Wolfram tech available as a foundation tool for LLM systems

writings.stephenwolfram.com

Post reply on HN
Print view View original

21–30 of 188 posts

Re: Making Wolfram tech available as a foundation tool for LLM systems

#21

Post by cyanydeez »

tptacek wrote: post #19
currymj wrote: post #18

Earlier quoted context omitted.

sympy is good enough for typical uses. the user interface is worse but that doesn't matter to Claude. I imagine if you have some really weird symbolic or numeric integrals, Mathematica may have some highly sophisticated algorithms where it would have an edge. however, even this advantage is eaten away somewhat because the models themselves are decent at solving hard integrals.

I've always sort of assumed the models were just making sympy scripts behind the scenes.

Wheres Godel when you need him. A lot of this stuff is symbol shunting, which LLMs should be really good at.

Re: Making Wolfram tech available as a foundation tool for LLM systems

#22

Post by jadbox »

nphardon wrote: post #15

There's a great discussion with Stephen Wolfram on the Sean Carroll podcast. Listening to it made me think very highly of Wolfram. He's a free thinking, eccentric, mathematician, scientist; who got started doing serious work at a very young age. He still has a youthful creative approach to thought and science. I hope LLMs do pair well with his tools.

I'm fairly certain Stephen Wolfram will be one of the few intellectuals today that will still be remembered in 50 years.

Re: Making Wolfram tech available as a foundation tool for LLM systems

#23

Post by peter_d_sherman »

>"But an approach that’s immediately and broadly applicable today—and for which we’re releasing several new products—is based on what we call

computation-augmented generation, or CAG.

The key idea of CAG is to inject in real time capabilities from our foundation tool into the stream of content that LLMs generate. In traditional retrieval-augmented generation, or RAG, one is injecting content that has been retrieved from existing documents.

CAG is like an infinite extension of RAG

, in which an infinite amount of content can be generated on the fly—using computation—to feed to an LLM."

We welcome CAG -- to the list of LLM-related technologies!

Re: Making Wolfram tech available as a foundation tool for LLM systems

#25

Post by kylecazar »

nphardon wrote: post #15

There's a great discussion with Stephen Wolfram on the Sean Carroll podcast. Listening to it made me think very highly of Wolfram. He's a free thinking, eccentric, mathematician, scientist; who got started doing serious work at a very young age. He still has a youthful creative approach to thought and science. I hope LLMs do pair well with his tools.

He live streams the (internal) Wolfram Alpha product meetings on YouTube. It's really interesting to watch, I've been a fly on the wall for years.

Re: Making Wolfram tech available as a foundation tool for LLM systems

#26

Post by nphardon »

kylecazar wrote: post #25
nphardon wrote: post #15

There's a great discussion with Stephen Wolfram on the Sean Carroll podcast. Listening to it made me think very highly of Wolfram. He's a free thinking, eccentric, mathematician, scientist; who got started doing serious work at a very young age. He still has a youthful creative approach to thought and science. I hope LLMs do pair well with his tools.

He live streams the (internal) Wolfram Alpha product meetings on YouTube. It's really interesting to watch, I've been a fly on the wall for years.

I knew about this but never attended, so cool!

Re: Making Wolfram tech available as a foundation tool for LLM systems

#27

Post by currymj »

tptacek wrote: post #19
currymj wrote: post #18

Earlier quoted context omitted.

sympy is good enough for typical uses. the user interface is worse but that doesn't matter to Claude. I imagine if you have some really weird symbolic or numeric integrals, Mathematica may have some highly sophisticated algorithms where it would have an edge. however, even this advantage is eaten away somewhat because the models themselves are decent at solving hard integrals.

I've always sort of assumed the models were just making sympy scripts behind the scenes.

sometimes you can see them do this and sometimes you can see they just work through the problem in the reasoning tokens without invoking python.

Re: Making Wolfram tech available as a foundation tool for LLM systems

#28

Post by SpaceNoodled »

jadbox wrote: post #22
nphardon wrote: post #15

There's a great discussion with Stephen Wolfram on the Sean Carroll podcast. Listening to it made me think very highly of Wolfram. He's a free thinking, eccentric, mathematician, scientist; who got started doing serious work at a very young age. He still has a youthful creative approach to thought and science. I hope LLMs do pair well with his tools.

I'm fairly certain Stephen Wolfram will be one of the few intellectuals today that will still be remembered in 50 years.

I already remember him from 25 years ago

Re: Making Wolfram tech available as a foundation tool for LLM systems

#29

Post by maxdo »

CAG sounds like fake solution for LLM's. Math problems are not custom data, they are limited in amount, and do not refresh like product manuals.

Hence math can always be part either generic llm or math fine tuned llm, without weird layer made for human ( entire wolfram) and dependencies.

Wolfram alpha was always an extra translation layer between machine and human. LLM's are a universal translation layer that can also solve problems, verify etc.

Post reply on HN