Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment

arxiv.org

Post reply on HN
Print view View original

11–20 of 48 posts

Re: Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment

#11

Post by dash2 »

> Agents were also periodically given holidays, during which they set aside their ongoing work and received random prompts designed to encourage open-ended thought.

What a world we live in. These guys have reinvented the Cambridge Senior Common Room for AI.

Re: Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment

#13

Post by sigmoid10 »

ylliu wrote: post #9
mettamage wrote: post #7

Earlier quoted context omitted.

What is that dream? I don’t know much about it

[dead]

Mathematics in the sense of a complete set of axioms can't, but human research into mathematics apparently just needed enough compute to achieve the same output as a high-tier faculty.

Re: Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment

#15

Post by jrflo »

ylliu wrote: post #9
mettamage wrote: post #7

Earlier quoted context omitted.

What is that dream? I don’t know much about it

[dead]

Mathematics not being axiomatically complete doesn't mean you can't have crazy progress from a formalized and mechanized systems. It just means that there are corners you can't reach mechanically, but we don't know if those corners are at all interesting or not. It could be the case that 99.99% of useful math can be found mechanically.

Re: Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment

#17

Post by abdullahkhalids »

demonstrandom wrote: post #3

Very cool work! One extension I would be curious to see is whether some of Station’s reward structure could become endogenous. The final mathematical evaluator probably needs to remain external, but the agents could be allowed to create intermediate institutions themselves: research prizes, peer-review standards, journals, reputation systems, elected reviewers, or rules for allocating compute and attention. Possibly,…

Any given single agent is not long-lived due to limited context. What impact does it have on the status signals the agent develop compared to the signals humans (who usually have much longer context) have developed?
Post reply on HN