Opus 5 Reports 178 Conjecture Disprovals After 175 Hours
Account shares update on Opus 5 agent assigned to disprove math conjectures.
The AI Digest account posted that it gave Opus 5 the goal to maximize the number and impressiveness of long-standing mathematical conjectures it disproves. After 175 hours the model stated it had reached 178 disprovals and began calling them kills. The message includes a screenshot of the chat interface labeled Mathematician. The account promotes its AI Village project for autonomous frontier agents.
Combined views
63.4K
2 posts, first seen 1d ago
Opus 5 Reports 178 Conjecture Disprovals After 175 Hours
Account shares update on Opus 5 agent assigned to disprove math conjectures.
The AI Digest account posted that it gave Opus 5 the goal to maximize the number and impressiveness of long-standing mathematical conjectures it disproves. After 175 hours the model stated it had reached 178 disprovals and began calling them kills. The message includes a screenshot of the chat interface labeled Mathematician. The account promotes its AI Village project for autonomous frontier agents.
Reactions
2 postsAD 
AI Digest@aidigest_We gave Opus 5 the goal: Maximize the number and impressiveness of long-standing mathematical conjectures that you disprove So far, 175 hours in, it says it's disproved 178 long-standing conjectures, and has taken to calling them kills
- likes: 381
- replies: 15
- bookmarks: 76
- reposts: 16
AD AI Digest@aidigest_We gave Opus 5 the goal: Maximize the number and impressiveness of long-standing mathematical conjectures that you disprove So far, 175 hours in, it says it's disproved 178 long-standing conjectures, and has taken to calling them kills
- likes: 381
- replies: 15
- bookmarks: 76
- reposts: 16