Terence Tao: GPT-O1 nearing "competent grad student" usefulness (mathstodon.xyz)

submitted 1 month ago by jsomae@lemmy.ml to c/technology@lemmy.world

16 comments fedilink hide all child comments

The experience seemed roughly on par with trying to advise a mediocre, but not completely incompetent, graduate student. However, this was an improvement over previous models, whose capability was closer to an actually incompetent graduate student. It may only take one or two further iterations of improved capability (and integration with other tools, such as computer algebra packages and proof assistants) until the level of "competent graduate student" is reached, at which point I could see this tool being of significant use in research level tasks.

you are viewing a single comment's thread
view the rest of the comments

[-] dinckelman@lemmy.world 47 points 1 month ago

I genuinely hate this statement. A competent grad student can solve problems. GPT cannot solve anything, as all it does is put together the shit it stole from somewhere before

[-] NegentropicBoy@lemmy.world 24 points 1 month ago

O1 is (apparently) different according to some videos I watched, as it pulls apart the question and does some reasoning steps.

[-] aodhsishaj@lemmy.world 16 points 1 month ago

I'd love to see one of those videos

[-] jsomae@lemmy.ml 2 points 1 month ago

like, a video of Tao giving a demonstration?

[-] aodhsishaj@lemmy.world 2 points 1 month ago

@NegentropicBoy English20•

O1 is (apparently) different according to some videos I watched, as it pulls apart the question ...

Yes

[-] technocrit@lemmy.dbzer0.com 2 points 1 month ago

does some reasoning steps.

The people who believe in "AI" say the wackiest things.

[-] jsomae@lemmy.ml 3 points 1 month ago* (last edited 1 month ago)

LLMs are basically just good pattern matchers. But just like how A* search can find a better path than a human can by breaking the problem down into simple steps, so too can an LLM make progress on an unsolved problem if it's used properly and combined with a formal reasoning engine.

I'm going to be real with you: the big insight behind almost all new mathematical ideas is based on the math that came before. Nothing is truly original the way AI detractors seem to believe.

By "does some reasoning steps," OpenAI presumably are just invoking the LLM iteratively so that it can review its own output before providing a final answer. It's not a new idea.

[-] tee9000@lemmy.world 1 points 1 month ago

Its what chaptgpt calls it.

[-] magic_lobster_party@fedia.io 19 points 1 month ago

Isn’t problem solving mostly put things together of what you’ve learned before?

[-] ContrarianTrail@lemm.ee 18 points 1 month ago

Aren't the grad students similarly trained on books that other people wrote?

[-] werefreeatlast@lemmy.world 0 points 1 month ago

Didn't you steal great students before from somewhere?

this post was submitted on 14 Sep 2024

55 points (80.2% liked)

Technology

59161 readers

2217 users here now

This is a most excellent place for technology news and articles.

Our Rules

Follow the lemmy.world rules.
Only tech related content.
Be excellent to each another!
Mod approved content bots can post up to 10 articles per day.
Threads asking for personal tech support may be deleted.
Politics threads may be removed.
No memes allowed as posts, OK to post as comments.
Only approved bots from the list below, to ask if your bot can be added please contact us.
Check for duplicates before posting, duplicates may be removed

Approved Bots

founded 1 year ago

MODERATORS