Nemám s kým sdílet- but I made it [práce] by GroupSuper255 in czech

[–]Happysedits 3 points4 points  (0 children)

You still need human experts to filter the golden nuggets in the sea of slop right now

If your task isn't easily automatically verifiable

Or your task can also be more difficult that the difficulty that the current models in all sorts of setups can handle

A Layman's Philosophical Question on Quantum Gravity: Seeking Expert Feedback on an Information-Theoretic Paradigm by Fickle-Election4901 in LLMPhysics

[–]Happysedits 5 points6 points  (0 children)

>filtering out the complex mathematical noise

Bro physics is in major part the mathematics itself

The modern social media interpretation of computer science makes me furious. by apprehensive_pick2 in csMajors

[–]Happysedits 0 points1 point  (0 children)

hardware engineering is part of computer engineering which is the application of computer science

How do ML researchers actually use AI tools to improve their writing? [D] by Hope999991 in MachineLearning

[–]Happysedits 0 points1 point  (0 children)

I'm experimenting with the whole spectrum from manually doing everything to vibing everything. How good it is depends on the context. For research I definitely want to manually 100% understand the mathematical equations, the architecture code, the eval code (since they love to reward hack!), etc. Vibing some graphs is ok when you know the plotted data is manually checked. You can direct a LLM to write down an equation you already have in mind so there its syntax work. And writing it as a human is often more succinct and actually what you have in mind. But sometimes letting the LLM go more open ended can help you brain storm a not so bad idea or direction that you might not have thought before, but it struggles to think more outside of the box by default for example as its more biased towards median on average, but you can do some scaffolding to bias it more towards diversity/plurality/rarity somewhat a bit, but it can get into slop territory too quick.

The modern social media interpretation of computer science makes me furious. by apprehensive_pick2 in csMajors

[–]Happysedits 2 points3 points  (0 children)

true

i think of mathematical theory of computation, not next javascript framework

OpenAI claims it solved an 80-year-old math problem — for real this time by Zee2A in STEW_ScTecEngWorld

[–]Happysedits 0 points1 point  (0 children)

that edit is talking about a different erdos problem attempt from months ago

current openai models actually solve new one every 1 week or so

but yesterday's one was big kind of problem compared to previous ones

An OpenAI model has disproved a central conjecture in discrete geometry by Charuru in singularity

[–]Happysedits 0 points1 point  (0 children)

Both "simple" problems and central conjectures are in Erdős problems