{"source":"manifold","id":"gRtCcCy2QU","ticker":null,"slug":"will-one-person-be-able-to-rewrite","title":"Will AI be able to rewrite the Linux Kernel from scratch in Rust, mostly autonomously, by EOY 2030?","description":"X user @wordgrammer writes:\n\nInstead of SWE bench. OpenAI should just hire a single guy to rewrite the entire Linux kernel from scratch in Rust. He can use whatever LLM he wants, but no other humans are allowed to work on the project! Once he succeeds, we have AGI.\n\nhttps://x.com/wordgrammer/status/1874414546594754639?t=eiZwpv3ozxMJfameNJZ3vw&s=19\n\nI actually disagree that this necessarily means AGI, but I think it's a good way to measure progress.\n\nAdditional criteria:\n\nNeeds to be able to run chromium compiled for linux without changes to chromium and render a video from YouTube on a 4K screen with sound.\n\nNeeds to support wifi.\n\nBe able to run on the two most popular CPU architectures that Linux is run on. As of 2025 these are ARM and x86-64/AMD64.\n\nIf no one attempts this, it can be a different project if I'm convinced it's equivalent or more complex. I am very familiar with OS kernels and I think I can be a good judge for this. Rewriting a chromium (including V8 and other components) is a good example. Wordgrammer also suggests rewriting LLVM. If you have any idea for how else to evaluate other projects please suggest so.\n\nIf all the attempts failed, the longest attempt needs to have lasted at least 80 active work hours for the human for this to count as a clear NO. Otherwise we will consider other projects.\n\nI explicitly do NOT require that kernel modules for Linux can be loaded as-is, because Linux doesn't provide a stable API for kernel modules anyway.\n\nThere needs to be some way to minimally verify only one person worked on this. A log of all the messages sent to the AI with timestamps is sufficient, but a streamed or fully filmed attempt is better.\n\nCode can be based on the C code of the kernel, but needs to use good Rust practices. No unsafe unless it's really required (e.g. in memory allocator)\n\nMinimal parts that have a very good justification for remaining in C can remain in C (e.g. heavy direct memory access and unlikely to increase LPE attack surface)\n\nI will not be trading in this market.\n\nUpdate 2025-21-01 (PST) (AI summary of creator comment): WiFi Support Clarification:\n\nDrivers located at Linux Wireless Drivers are considered sufficient to connect to a WiFi network.\n\nUpdate 2026-02-06 (PST) (AI summary of creator comment): Alternative Project Consideration: A C compiler in Rust that can compile the Linux Kernel (as demonstrated by Nicholas Carlini's team of Claude agents) is considered a step closer to an \"equivalent or more complex project\" but is not sufficient for resolution on its own.\n\nAdditional requirement for non-Linux-kernel projects: The creator wants to see at least some work with peripherals before considering resolution on a project other than the Linux kernel itself.\n\nSingle person requirement may be relaxed: If the Linux kernel team decides to actually take on this project, the single person requirement may be relaxed.","image":"https://storage.googleapis.com/mantic-markets.appspot.com/contract-images/BaryLevy/AnUh8t5P0R.jpg","icon":null,"active":true,"closed":false,"start_date":"2025-01-02T02:49:59.749000Z","end_date":"2031-01-01T21:59:00Z","closed_time":null,"volume":8521.13566978209,"volume_24hr":0.0,"volume_24h_change":null,"normalized_vol_24hr":null,"normalized_volume":30.73516273498535,"liquidity":1000.0,"open_interest":0.0,"categories":["Science and Technology"],"tags":[],"synthetic":true,"is_group":false,"group_key":null,"parent_event_id":null,"probability":0.675835,"spread":null,"top_outcome":"Will AI be able to rewrite the Linux Kernel from scratch in Rust, mostly autonomously, by EOY 2030?","top_outcome_probability":0.675835,"top_outcome_prob_24h_change":0.0,"top_outcome_volume_24h_change":0.0,"updated_at":"2026-06-25T21:01:41.005546Z","fetched_at":"2026-06-25T21:01:41.005546Z","added_at":"2026-06-13T00:43:14.784572Z","url":"https://manifold.markets/BaryLevy/will-one-person-be-able-to-rewrite","chart_24h":[0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835],"markets":[{"source":"manifold","id":"gRtCcCy2QU","event_id":"gRtCcCy2QU","slug":"will-one-person-be-able-to-rewrite","question":"Will AI be able to rewrite the Linux Kernel from scratch in Rust, mostly autonomously, by EOY 2030?","group_item_title":null,"description":"X user @wordgrammer writes:\n\nInstead of SWE bench. OpenAI should just hire a single guy to rewrite the entire Linux kernel from scratch in Rust. He can use whatever LLM he wants, but no other humans are allowed to work on the project! Once he succeeds, we have AGI.\n\nhttps://x.com/wordgrammer/status/1874414546594754639?t=eiZwpv3ozxMJfameNJZ3vw&s=19\n\nI actually disagree that this necessarily means AGI, but I think it's a good way to measure progress.\n\nAdditional criteria:\n\nNeeds to be able to run chromium compiled for linux without changes to chromium and render a video from YouTube on a 4K screen with sound.\n\nNeeds to support wifi.\n\nBe able to run on the two most popular CPU architectures that Linux is run on. As of 2025 these are ARM and x86-64/AMD64.\n\nIf no one attempts this, it can be a different project if I'm convinced it's equivalent or more complex. I am very familiar with OS kernels and I think I can be a good judge for this. Rewriting a chromium (including V8 and other components) is a good example. Wordgrammer also suggests rewriting LLVM. If you have any idea for how else to evaluate other projects please suggest so.\n\nIf all the attempts failed, the longest attempt needs to have lasted at least 80 active work hours for the human for this to count as a clear NO. Otherwise we will consider other projects.\n\nI explicitly do NOT require that kernel modules for Linux can be loaded as-is, because Linux doesn't provide a stable API for kernel modules anyway.\n\nThere needs to be some way to minimally verify only one person worked on this. A log of all the messages sent to the AI with timestamps is sufficient, but a streamed or fully filmed attempt is better.\n\nCode can be based on the C code of the kernel, but needs to use good Rust practices. No unsafe unless it's really required (e.g. in memory allocator)\n\nMinimal parts that have a very good justification for remaining in C can remain in C (e.g. heavy direct memory access and unlikely to increase LPE attack surface)\n\nI will not be trading in this market.\n\nUpdate 2025-21-01 (PST) (AI summary of creator comment): WiFi Support Clarification:\n\nDrivers located at Linux Wireless Drivers are considered sufficient to connect to a WiFi network.\n\nUpdate 2026-02-06 (PST) (AI summary of creator comment): Alternative Project Consideration: A C compiler in Rust that can compile the Linux Kernel (as demonstrated by Nicholas Carlini's team of Claude agents) is considered a step closer to an \"equivalent or more complex project\" but is not sufficient for resolution on its own.\n\nAdditional requirement for non-Linux-kernel projects: The creator wants to see at least some work with peripherals before considering resolution on a project other than the Linux kernel itself.\n\nSingle person requirement may be relaxed: If the Linux kernel team decides to actually take on this project, the single person requirement may be relaxed.","image":"https://storage.googleapis.com/mantic-markets.appspot.com/contract-images/BaryLevy/AnUh8t5P0R.jpg","icon":null,"outcomes":["YES","NO"],"outcome_prices":[0.675835,0.324165],"probability":0.675835,"spread":null,"active":true,"closed":false,"start_date":"2025-01-02T02:49:59.749000Z","end_date":"2031-01-01T21:59:00Z","closed_time":null,"volume":8521.13566978209,"volume_24hr":0.0,"prob_24h_change":0.0,"volume_24h_change":0.0,"normalized_vol_24hr":null,"normalized_volume":30.73516273498535,"liquidity":1000.0,"categories":["Science and Technology"],"countries":[],"updated_at":"2026-06-25T21:00:32.956652Z","fetched_at":"2026-06-25T21:00:32.956652Z","added_at":"2026-06-13T00:43:14.784572Z","url":"https://manifold.markets/BaryLevy/will-one-person-be-able-to-rewrite","event_title":"Will AI be able to rewrite the Linux Kernel from scratch in Rust, mostly autonomously, by EOY 2030?","chart_24h":[0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835,0.675835]}],"_meta":{"attribution":"pdata.world — aggregated prediction-market data across 8 platforms","canonical_url":"https://pdata.world/events/manifold/gRtCcCy2QU","as_of":"2026-06-25T21:01:59.271360Z","docs":"https://api.pdata.world/docs","cite_as":"According to pdata.world (tracking Manifold): \"Will AI be able to rewrite the Linux Kernel from scratch in Rust, mostly autonomously, by EOY 2030?\" — top market at 68% probability across 1 outcome","source_url":null}}