DE version is available. Content is displayed in original English for accuracy.
Advertisement
Advertisement
⚡ Community Insights
Discussion Sentiment
71% Positive
Analyzed from 636 words in the discussion.
Trending Topics
#math#more#hackathon#run#models#yourself#why#trying#reasoning#llm
Discussion (16 Comments)Read Original on HackerNews
More generally, I don't think the shape of a hackathon (intensely working for a short timespan) maps at all onto the way LLM Math progress has seemingly been made so far; AFAIK it mostly involves picking out something for the Model, then having it run for a week with sporadic correction / encouragement.
It’s also quite fun to get instant results by finding isomorphisms into unfamiliar areas of mathematics that previously would’ve required some networking in order to build a collaborative relationship.
I’m not a full on AI optimist but it is absolutely the most powerful tool in a host of applications. From a Hackathon perspective, obviously in the 90s it was much more unorganized, but the same ethos existed. Use all available tools to accomplish the goal/task, it’s where a lot of incredible learning came out of. The same will hopefully happen in scenarios like this one
I'm not sure people need to organize a mathathon to wait for a computer to give a printout. They mainly need tokens.
Because the companies that run frontier models are malevolent by every metric.
They are destroying the environment, especially those in neighborhoods of low income people.
They are empowering their owners who are some of the most deplorable and duplicitous people living.
They are destroying personal compute to avoid competition with local models by buying all computer components with “promised money” and forcing their P into AI.
They stole the entire creative output of humanity and are trying to sell it back to us.
They are only good for giving wealth access to skill while removing from the skilled the ability to access wealth.
They are being used to kill in war and for surveillance.
Seriously why would you use them? Your use only emboldens them; making you complicit in their nefarious success.
I for one, am one who walks away from Omelas.
Recently I care about how to create harness for mathematics that uses up the complete reasoning ability of the model. I care about both capability and cost.
Most generic harness we have now are not made for maximizing reasoning. I've tested agents like codex, and rarely the cost of reasoning tokens reaches more than 20%. Which is quite strange as math requires a lot of reasoning. So hackathons can be a good test bed.
> This AI advancement raises the following questions: (a) How much can AI speed up the process from ideation to peer-reviewed publication? (b) What is the role of a mathematician when AI can solve conjectures faster?
and the big AI companies agreed to sponsor them to find out because it is good publicity for the companies.