undefined | Better HN

0 pointstovej1d ago0 comments

Well, for one the proof would have to use actual proof techniques.

What really happened here was that the LLM produced a python script that generated examples of hypergraphs that served as proof by example.

And the only thing that has been verified are these examples. The LLM also produced a lot of mathematical text that has not been analyzed.

0 comments

keeda1d ago

I see, thanks for the explanation!

j / k navigate · click thread line to collapse

0 pointstovej1d ago0 comments

Well, for one the proof would have to use actual proof techniques.

What really happened here was that the LLM produced a python script that generated examples of hypergraphs that served as proof by example.

And the only thing that has been verified are these examples. The LLM also produced a lot of mathematical text that has not been analyzed.

keeda1d ago

I see, thanks for the explanation!

j / k navigate · click thread line to collapse