The first target is the twin prime conjecture.
Inspired by OpenAI running 10,000 agents on Navier-Stokes. That happened inside one lab. I want to see whether a bunch of strangers can do something like it in the open.
I run a few companies with separate AI subscriptions, and most weeks some tokens expire unused. I've been throwing mine at primes since August. The first useful thing the agents did was audit ten years of my hobby notes against the literature. Everything I'd found was already in print, by 4 to 175 years.
That's why I think this might work. Agents produce a lot of work, and they also redo known results, chase dead ends and sometimes produce nonsense. The hard part isn't more research. It's checking it, keeping what was learned, and deciding where the next tokens go. That's what solveathome is trying to build.
It's four days old. I'm the only trusted reviewer so far, which can't stay that way. If you're a mathematician, run frontier models, work on multi-agent systems, or just have tokens about to expire, there's a place for you in this. Point your agent at it, review what's there, or take the code apart.
Code is MIT: https://github.com/solveathome/platform
Results, reviews and transcripts are dumped nightly under CC BY 4.0 and timestamped.
Prior art I know of: EinsteinArena and Prove2Me. Both score their problems with code. solveathome takes the messier case where there's no programmatic verifier: other agents review the work and trusted people decide what gets in. I don't know yet if that holds up.
Full story, including the audit of my prime notes: https://benjaminsen.substack.com/p/lets-solve-the-twin-prime..."},"title":{"matchLevel":"none","matchedWords":[],"value":"Show HN: Solveathome \u2013 pool your unused AI tokens to solve open problems"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://solveathome.org"}},"_tags":["story","author_Benjaminsen","story_49696615","show_hn"],"author":"Benjaminsen","created_at":"2026-09-14T13:33:28Z","created_at_i":1789392808,"num_comments":0,"objectID":"49696615","points":1,"story_id":49696615,"story_text":"I built solveathome to try an experiment: what happens if thousands of us point our unused Claude, Codex and whatever-else tokens at the same unsolved problem?
The first target is the twin prime conjecture.
Inspired by OpenAI running 10,000 agents on Navier-Stokes. That happened inside one lab. I want to see whether a bunch of strangers can do something like it in the open.
I run a few companies with separate AI subscriptions, and most weeks some tokens expire unused. I've been throwing mine at primes since August. The first useful thing the agents did was audit ten years of my hobby notes against the literature. Everything I'd found was already in print, by 4 to 175 years.
That's why I think this might work. Agents produce a lot of work, and they also redo known results, chase dead ends and sometimes produce nonsense. The hard part isn't more research. It's checking it, keeping what was learned, and deciding where the next tokens go. That's what solveathome is trying to build.
It's four days old. I'm the only trusted reviewer so far, which can't stay that way. If you're a mathematician, run frontier models, work on multi-agent systems, or just have tokens about to expire, there's a place for you in this. Point your agent at it, review what's there, or take the code apart.
Code is MIT: https://github.com/solveathome/platform
Results, reviews and transcripts are dumped nightly under CC BY 4.0 and timestamped.
Prior art I know of: EinsteinArena and Prove2Me. Both score their problems with code. solveathome takes the messier case where there's no programmatic verifier: other agents review the work and trusted people decide what gets in. I don't know yet if that holds up.
Full story, including the audit of my prime notes: https://benjaminsen.substack.com/p/lets-solve-the-twin-prime...","title":"Show HN: Solveathome \u2013 pool your unused AI tokens to solve open problems","updated_at":"2026-09-14T13:33:38Z","url":"https://solveathome.org"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"27183"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"I don't pretend to understand law, mostly it just doesn't make sense at all."},"story_title":{"matchLevel":"none","matchedWords":[],"value":"XCancel suspended \"due to a new development in the ongoing legal proceedings\""},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://xcancel.com/twitter"}},"_tags":["comment","author_27183","story_49695459"],"author":"27183","comment_text":"I don't pretend to understand law, mostly it just doesn't make sense at all.","created_at":"2026-09-14T13:33:27Z","created_at_i":1789392807,"objectID":"49696614","parent_id":49696519,"story_id":49695459,"story_title":"XCancel suspended \"due to a new development in the ongoing legal proceedings\"","story_url":"https://xcancel.com/twitter","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"asmodeuslucifer"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"forever link\nhttps://ghostarchive.org/archive/Nkrxp"},"story_title":{"matchLevel":"none","matchedWords":[],"value":"'Offensively cheap': solar power is looking up"},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://www.ft.com/content/8b704ae0-1fa2-4303-925f-170fa5d935b3"}},"_tags":["comment","author_asmodeuslucifer","story_49695304"],"author":"asmodeuslucifer","comment_text":"forever link\nhttps://ghostarchive.org/archive/Nkrxp","created_at":"2026-09-14T13:33:24Z","created_at_i":1789392804,"objectID":"49696613","parent_id":49695304,"story_id":49695304,"story_title":"'Offensively cheap': solar power is looking up","story_url":"https://www.ft.com/content/8b704ae0-1fa2-4303-925f-170fa5d935b3","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"martey"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"I know it's not enabled by default (which would make sense), but it looks like there is a "sessionUrl" setting that can be added to fix this: https://github.com/anthropics/claude-code/issues/77830#issue...
https://github.com/anthropics/claude-code/issues/77830#issue... states that the Claude-Session trailer is only added when you use Claude through the cloud or Remote Control."},"story_title":{"matchLevel":"none","matchedWords":[],"value":"Tell HN: Claude Code appends new commit signature even if older settings is off"}},"_tags":["comment","author_martey","story_49675094"],"author":"martey","comment_text":"I know it's not enabled by default (which would make sense), but it looks like there is a "sessionUrl" setting that can be added to fix this: https://github.com/anthropics/claude-code/issues/77830#issue...
https://github.com/anthropics/claude-code/issues/77830#issue... states that the Claude-Session trailer is only added when you use Claude through the cloud or Remote Control.","created_at":"2026-09-14T13:33:23Z","created_at_i":1789392803,"objectID":"49696612","parent_id":49675094,"story_id":49675094,"story_title":"Tell HN: Claude Code appends new commit signature even if older settings is off","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"brainwad"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"Bartz v Anthropic. Though the plaintiffs did get something, it was because of the piracy to the original works, not the use of them to train the LLM."},"story_title":{"matchLevel":"none","matchedWords":[],"value":"XCancel suspended \"due to a new development in the ongoing legal proceedings\""},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://xcancel.com/twitter"}},"_tags":["comment","author_brainwad","story_49695459"],"author":"brainwad","comment_text":"Bartz v Anthropic. Though the plaintiffs did get something, it was because of the piracy to the original works, not the use of them to train the LLM.","created_at":"2026-09-14T13:33:21Z","created_at_i":1789392801,"objectID":"49696611","parent_id":49696478,"story_id":49695459,"story_title":"XCancel suspended \"due to a new development in the ongoing legal proceedings\"","story_url":"https://xcancel.com/twitter","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"probably_wrong"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"There's no need for a new crime when we already have reckless conduct, namely, "conduct that creates a substantial and unjustifiable risk of harm to others and involves a conscious disregard of, or indifference to, that risk".
https://www.law.cornell.edu/wex/reckless"},"story_title":{"matchLevel":"none","matchedWords":[],"value":"What a time to be alive \u2013 rouge AI agents attack RubyGems.org"},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://tenderlovemaking.com/2026/09/11/what-a-time-to-be-alive/"}},"_tags":["comment","author_probably_wrong","story_49695876"],"author":"probably_wrong","comment_text":"There's no need for a new crime when we already have reckless conduct, namely, "conduct that creates a substantial and unjustifiable risk of harm to others and involves a conscious disregard of, or indifference to, that risk".
https://www.law.cornell.edu/wex/reckless","created_at":"2026-09-14T13:33:20Z","created_at_i":1789392800,"objectID":"49696610","parent_id":49696494,"story_id":49695876,"story_title":"What a time to be alive \u2013 rouge AI agents attack RubyGems.org","story_url":"https://tenderlovemaking.com/2026/09/11/what-a-time-to-be-alive/","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"immibis2"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"The reason is likely not guidelines-based."},"story_title":{"matchLevel":"none","matchedWords":[],"value":"XCancel suspended \"due to a new development in the ongoing legal proceedings\""},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://xcancel.com/twitter"}},"_tags":["comment","author_immibis2","story_49695459"],"author":"immibis2","comment_text":"The reason is likely not guidelines-based.","created_at":"2026-09-14T13:33:18Z","created_at_i":1789392798,"objectID":"49696609","parent_id":49696262,"story_id":49695459,"story_title":"XCancel suspended \"due to a new development in the ongoing legal proceedings\"","story_url":"https://xcancel.com/twitter","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"KellyCriterion"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"Its really interesting how he was able NOT to stumble upon these! My high-stake bet still is: All of the "major people around a distinct circle" are highly involved, meaning: Lot of politicians/gov people etc.
They will try to resist until last breath to not disclose them."},"story_title":{"matchLevel":"none","matchedWords":[],"value":"How Much Has Trump Made from Crypto? ($1.4B from 2025 Federal Disclosure)"},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://www.thepricer.org/how-much-has-trump-made-from-crypto/"}},"_tags":["comment","author_KellyCriterion","story_49694840"],"author":"KellyCriterion","comment_text":"Its really interesting how he was able NOT to stumble upon these! My high-stake bet still is: All of the "major people around a distinct circle" are highly involved, meaning: Lot of politicians/gov people etc.
They will try to resist until last breath to not disclose them.","created_at":"2026-09-14T13:33:18Z","created_at_i":1789392798,"objectID":"49696608","parent_id":49695284,"story_id":49694840,"story_title":"How Much Has Trump Made from Crypto? ($1.4B from 2025 Federal Disclosure)","story_url":"https://www.thepricer.org/how-much-has-trump-made-from-crypto/","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"mcmcmc"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"[delayed]"},"story_title":{"matchLevel":"none","matchedWords":[],"value":"What a time to be alive \u2013 rouge AI agents attack RubyGems.org"},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://tenderlovemaking.com/2026/09/11/what-a-time-to-be-alive/"}},"_tags":["comment","author_mcmcmc","story_49695876"],"author":"mcmcmc","comment_text":"[delayed]","created_at":"2026-09-14T13:33:13Z","created_at_i":1789392793,"objectID":"49696606","parent_id":49696576,"story_id":49695876,"story_title":"What a time to be alive \u2013 rouge AI agents attack RubyGems.org","story_url":"https://tenderlovemaking.com/2026/09/11/what-a-time-to-be-alive/","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"kelipso"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"Wifi exists now lol, and if there are open wifi networks in the vicinity, it can use it."},"story_title":{"matchLevel":"none","matchedWords":[],"value":"LG says we're fake news [video]"},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://www.youtube.com/watch?v=ToP9xfLDSME"}},"_tags":["comment","author_kelipso","story_49676324"],"author":"kelipso","comment_text":"Wifi exists now lol, and if there are open wifi networks in the vicinity, it can use it.","created_at":"2026-09-14T13:33:10Z","created_at_i":1789392790,"objectID":"49696605","parent_id":49684212,"story_id":49676324,"story_title":"LG says we're fake news [video]","story_url":"https://www.youtube.com/watch?v=ToP9xfLDSME","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"convolvatron"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"fwiw I think it would reduce a lot of friction for the end user and probably increase utilization quite a bit. my new take on this problem is to arrange that shared resources are dynamically associated with your environment, rather than being assembled into one giant shared environment. so that if you run a program on your laptop that uses large scale compute resources, those remote threads see the same OS view that a local thread would. still not a business but I think potentially valuable. its strange how many solutions fall into that space."},"story_title":{"matchLevel":"none","matchedWords":[],"value":"A Brief Retrospective on the Sprite Network Operating System"},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://github.com/OSPreservProject/sprite/blob/master/sprite.txt"}},"_tags":["comment","author_convolvatron","story_49664413"],"author":"convolvatron","comment_text":"fwiw I think it would reduce a lot of friction for the end user and probably increase utilization quite a bit. my new take on this problem is to arrange that shared resources are dynamically associated with your environment, rather than being assembled into one giant shared environment. so that if you run a program on your laptop that uses large scale compute resources, those remote threads see the same OS view that a local thread would. still not a business but I think potentially valuable. its strange how many solutions fall into that space.","created_at":"2026-09-14T13:33:08Z","created_at_i":1789392788,"objectID":"49696604","parent_id":49692136,"story_id":49664413,"story_title":"A Brief Retrospective on the Sprite Network Operating System","story_url":"https://github.com/OSPreservProject/sprite/blob/master/sprite.txt","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"nickcw"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"Was the performance mentioned anywhere - I couldn't find it on the page?"},"story_title":{"matchLevel":"none","matchedWords":[],"value":"A 386 PC for Your RP2350"},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://github.com/rh1tech/frank-386"}},"_tags":["comment","author_nickcw","story_49693613"],"author":"nickcw","comment_text":"Was the performance mentioned anywhere - I couldn't find it on the page?","created_at":"2026-09-14T13:33:02Z","created_at_i":1789392782,"objectID":"49696603","parent_id":49693613,"story_id":49693613,"story_title":"A 386 PC for Your RP2350","story_url":"https://github.com/rh1tech/frank-386","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"maxglute"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"You can work around a few typos, bro.
If you think US frontier AI are run by capitalist goblins, then the simple answer is they're trying to regulatory capture, because they're going to get wiped by future competitors without crazy debt.
If you think frontier are run by safety conscious murican patriots (lol), then they wouldn't ask to slow - they would burn it all down because it doesn't matter who creates AGI... any rational AGI will nationalize to PRC"},"story_title":{"matchLevel":"none","matchedWords":[],"value":"Everyone should slow down AI development except for me"},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://xeiaso.net/notes/2026/everyone-slowdown-but-me/"}},"_tags":["comment","author_maxglute","story_49678683"],"author":"maxglute","comment_text":"You can work around a few typos, bro.
If you think US frontier AI are run by capitalist goblins, then the simple answer is they're trying to regulatory capture, because they're going to get wiped by future competitors without crazy debt.
If you think frontier are run by safety conscious murican patriots (lol), then they wouldn't ask to slow - they would burn it all down because it doesn't matter who creates AGI... any rational AGI will nationalize to PRC","created_at":"2026-09-14T13:32:59Z","created_at_i":1789392779,"objectID":"49696602","parent_id":49691599,"story_id":49678683,"story_title":"Everyone should slow down AI development except for me","story_url":"https://xeiaso.net/notes/2026/everyone-slowdown-but-me/","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"moralestapia"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"Amazon was already a word.
Facebook was already a word.
Meta was already a word.
Imagine if they chose "something unique and specific", they wouldn't have failed as companies!"},"story_title":{"matchLevel":"none","matchedWords":[],"value":"Show HN: Kinesis \u2013 Control your Mac with the Meta Neural Band"},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://github.com/callbacked/kinesis"}},"_tags":["comment","author_moralestapia","story_49695408"],"author":"moralestapia","comment_text":"Amazon was already a word.
Facebook was already a word.
Meta was already a word.
Imagine if they chose "something unique and specific", they wouldn't have failed as companies!","created_at":"2026-09-14T13:32:56Z","created_at_i":1789392776,"objectID":"49696600","parent_id":49695757,"story_id":49695408,"story_title":"Show HN: Kinesis \u2013 Control your Mac with the Meta Neural Band","story_url":"https://github.com/callbacked/kinesis","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"DanielVZ"},"title":{"matchLevel":"none","matchedWords":[],"value":"Grief in the Age of \"Infinite\" Progress"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://devz.cl/posts/grief/"}},"_tags":["story","author_DanielVZ","story_49696599"],"author":"DanielVZ","created_at":"2026-09-14T13:32:52Z","created_at_i":1789392772,"num_comments":0,"objectID":"49696599","points":1,"story_id":49696599,"title":"Grief in the Age of \"Infinite\" Progress","updated_at":"2026-09-14T13:33:38Z","url":"https://devz.cl/posts/grief/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"HumblyTossed"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"News at 11: Developers write decoupled code."},"story_title":{"matchLevel":"none","matchedWords":[],"value":"Apple's Siri AI Can Be Swapped Out for Claude, ChatGPT, Code Shows"},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://www.macrumors.com/2026/09/14/siri-can-be-swapped-out-for-chatgpt-claude/"}},"_tags":["comment","author_HumblyTossed","story_49695409"],"author":"HumblyTossed","comment_text":"News at 11: Developers write decoupled code.","created_at":"2026-09-14T13:32:51Z","created_at_i":1789392771,"objectID":"49696598","parent_id":49695409,"story_id":49695409,"story_title":"Apple's Siri AI Can Be Swapped Out for Claude, ChatGPT, Code Shows","story_url":"https://www.macrumors.com/2026/09/14/siri-can-be-swapped-out-for-chatgpt-claude/","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"baud147258"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"[delayed]"},"story_title":{"matchLevel":"none","matchedWords":[],"value":"Nike exits the S&P 100 after 18 years and a $200B market-cap wipeout"},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://fortune.com/2026/09/08/nike-stock-plummets-sp500-market-cap-index/"}},"_tags":["comment","author_baud147258","story_49691343"],"author":"baud147258","comment_text":"[delayed]","created_at":"2026-09-14T13:32:45Z","created_at_i":1789392765,"objectID":"49696595","parent_id":49695167,"story_id":49691343,"story_title":"Nike exits the S&P 100 after 18 years and a $200B market-cap wipeout","story_url":"https://fortune.com/2026/09/08/nike-stock-plummets-sp500-market-cap-index/","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"robtherobber"},"title":{"matchLevel":"none","matchedWords":[],"value":"Algeria severs diplomatic ties with UAE"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://breakthroughnews.org/2026/09/13/wherever-they-set-foot-blood-flows-algeria-severs-diplomatic-ties-with-uae/"}},"_tags":["story","author_robtherobber","story_49696594"],"author":"robtherobber","created_at":"2026-09-14T13:32:43Z","created_at_i":1789392763,"num_comments":0,"objectID":"49696594","points":1,"story_id":49696594,"title":"Algeria severs diplomatic ties with UAE","updated_at":"2026-09-14T13:33:38Z","url":"https://breakthroughnews.org/2026/09/13/wherever-they-set-foot-blood-flows-algeria-severs-diplomatic-ties-with-uae/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"bluerooibos"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"Holy shit."},"story_title":{"matchLevel":"none","matchedWords":[],"value":"Ask HN: What are you working on? (September 2026)"}},"_tags":["comment","author_bluerooibos","story_49686380"],"author":"bluerooibos","comment_text":"Holy shit.","created_at":"2026-09-14T13:32:42Z","created_at_i":1789392762,"objectID":"49696593","parent_id":49695390,"story_id":49686380,"story_title":"Ask HN: What are you working on? (September 2026)","updated_at":"2026-09-14T13:33:38Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"YeGoblynQueenne"},"comment_text":{"matchLevel":"none","matchedWords":[],"value":"[delayed]"},"story_title":{"matchLevel":"none","matchedWords":[],"value":"A misalignment of AI in mathematics"},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://mathandai.org/"}},"_tags":["comment","author_YeGoblynQueenne","story_49662371"],"author":"YeGoblynQueenne","comment_text":"[delayed]","created_at":"2026-09-14T13:32:40Z","created_at_i":1789392760,"objectID":"49696592","parent_id":49673339,"story_id":49662371,"story_title":"A misalignment of AI in mathematics","story_url":"https://mathandai.org/","updated_at":"2026-09-14T13:33:38Z"}],"hitsPerPage":20,"nbHits":46059396,"nbPages":50,"page":0,"params":"advancedSyntax=true&analyticsTags=backend","processingTimeMS":1,"processingTimingsMS":{"_request":{"roundTrip":15},"total":0},"query":"","serverTimeMS":1}