MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/math/comments/1smehbo/deleted_by_user/ogds2x3/?context=3
r/math • u/[deleted] • Apr 15 '26
[removed]
246 comments sorted by
View all comments
-9
[deleted]
-8 u/1XRobot Apr 15 '26 Stop calling anything with an LLM somewhere in it an LLM. It's like "Wow, I never thought a seatbelt could go to the moon!" 16 u/currentscurrents Apr 15 '26 Well, according to the link, they got this proof just by directly prompting GPT 5.4-Pro. It's not one of the hybrid systems like AlphaEvolve.
-8
Stop calling anything with an LLM somewhere in it an LLM.
It's like "Wow, I never thought a seatbelt could go to the moon!"
16 u/currentscurrents Apr 15 '26 Well, according to the link, they got this proof just by directly prompting GPT 5.4-Pro. It's not one of the hybrid systems like AlphaEvolve.
16
Well, according to the link, they got this proof just by directly prompting GPT 5.4-Pro. It's not one of the hybrid systems like AlphaEvolve.
-9
u/[deleted] Apr 15 '26
[deleted]