{"id":24203,"date":"2026-07-13T18:49:42","date_gmt":"2026-07-13T18:49:42","guid":{"rendered":"https:\/\/science-dao.org\/?p=24203"},"modified":"2026-07-13T18:49:45","modified_gmt":"2026-07-13T18:49:45","slug":"there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind","status":"publish","type":"post","link":"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/","title":{"rendered":"There Are DAOs for Biology and Medicine. Why Is Abstract Mathematics Being Left Behind?"},"content":{"rendered":"<div id=\"scien-3264004991\" class=\"scien-before-content scien-entity-placement\"><style>\r\n.amazon-support-link {\r\n    display: inline-flex;\r\n    align-items: baseline;\r\n    gap: 0.3rem;\r\n    padding: 0.35rem 0.55rem;\r\n    color: inherit;\r\n    font-size: 0.88rem;\r\n    line-height: 1.2;\r\n    text-decoration: none;\r\n    opacity: 0.72;\r\n    white-space: nowrap;\r\n    transition: opacity 0.2s ease;\r\n}\r\n\r\n.amazon-support-link:hover,\r\n.amazon-support-link:focus-visible {\r\n    opacity: 1;\r\n    text-decoration: underline;\r\n}\r\n\r\n.amazon-support-link small {\r\n    font-size: 0.65rem;\r\n    opacity: 0.7;\r\n}\r\n\r\n@media (max-width: 900px) {\r\n    .amazon-support-link small {\r\n        display: none;\r\n    }\r\n}\r\n<\/style>\r\n<a class=\"amazon-support-link\"\r\n   href=\"https:\/\/www.amazon.com\/?tag=vpf04-20\"\r\n   target=\"_blank\"\r\n   rel=\"nofollow sponsored noopener\"\r\n   aria-label=\"Shop on Amazon and support World Science DAO\">\r\n    Shop on Amazon <span aria-hidden=\"true\">\u2197<\/span>\r\n    <small>affiliate link<\/small>\r\n<\/a><\/div>\n<p class=\"wp-block-paragraph\">Decentralized science, commonly known as <strong>DeSci<\/strong>, promises to transform how research is funded, evaluated, and published. Yet the movement has developed unevenly.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Biology, longevity research, biotechnology, and medicine already have visible decentralized autonomous organizations. <strong>Abstract mathematics<\/strong>, by contrast, remains largely outside the emerging DAO economy.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This imbalance is understandable\u2014but it is also dangerous. Mathematics is not merely another scientific discipline competing for funding. It is part of the infrastructure on which computing, artificial intelligence, cryptography, physics, engineering, economics, and even blockchain technology depend.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">If DeSci wants to reshape science rather than merely finance commercially promising biotechnology, it must find a place for mathematics.<\/p>\n\n\n\n<div id=\"ez-toc-container\" class=\"ez-toc-v2_0_85 counter-hierarchy ez-toc-counter ez-toc-grey ez-toc-container-direction\">\n<div class=\"ez-toc-title-container\">\n<p class=\"ez-toc-title\" style=\"cursor:inherit\">Table of Contents<\/p>\n<span class=\"ez-toc-title-toggle\"><a href=\"#\" class=\"ez-toc-pull-right ez-toc-btn ez-toc-btn-xs ez-toc-btn-default ez-toc-toggle\" aria-label=\"Toggle Table of Content\"><span class=\"ez-toc-js-icon-con\"><span class=\"\"><span class=\"eztoc-hide\" style=\"display:none;\">Toggle<\/span><span class=\"ez-toc-icon-toggle-span\"><svg style=\"fill: #999;color:#999\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" class=\"list-377408\" width=\"20px\" height=\"20px\" viewbox=\"0 0 24 24\" fill=\"none\"><path d=\"M6 6H4v2h2V6zm14 0H8v2h12V6zM4 11h2v2H4v-2zm16 0H8v2h12v-2zM4 16h2v2H4v-2zm16 0H8v2h12v-2z\" fill=\"currentColor\"><\/path><\/svg><svg style=\"fill: #999;color:#999\" class=\"arrow-unsorted-368013\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" width=\"10px\" height=\"10px\" viewbox=\"0 0 24 24\" version=\"1.2\" baseprofile=\"tiny\"><path d=\"M18.2 9.3l-6.2-6.3-6.2 6.3c-.2.2-.3.4-.3.7s.1.5.3.7c.2.2.4.3.7.3h11c.3 0 .5-.1.7-.3.2-.2.3-.5.3-.7s-.1-.5-.3-.7zM5.8 14.7l6.2 6.3 6.2-6.3c.2-.2.3-.5.3-.7s-.1-.5-.3-.7c-.2-.2-.4-.3-.7-.3h-11c-.3 0-.5.1-.7.3-.2.2-.3.5-.3.7s.1.5.3.7z\"\/><\/svg><\/span><\/span><\/span><\/a><\/span><\/div>\n<nav><ul class='ez-toc-list ez-toc-list-level-1' ><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-1\" href=\"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/#Biology_and_Medicine_Already_Have_a_DeSci_Ecosystem\" >Biology and Medicine Already Have a DeSci Ecosystem<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-2\" href=\"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/#Why_Abstract_Mathematics_Is_Harder_to_Tokenize\" >Why Abstract Mathematics Is Harder to Tokenize<\/a><ul class='ez-toc-list-level-3' ><li class='ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-3\" href=\"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/#1_Mathematical_Value_Is_Difficult_to_Measure_Quickly\" >1. Mathematical Value Is Difficult to Measure Quickly<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-4\" href=\"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/#2_There_May_Be_No_Intellectual-Property_Revenue\" >2. There May Be No Intellectual-Property Revenue<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-5\" href=\"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/#3_Mathematical_Applications_Often_Arrive_Much_Later\" >3. Mathematical Applications Often Arrive Much Later<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-6\" href=\"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/#4_Mathematical_Research_Is_Commonly_Misunderstood_as_Cheap\" >4. Mathematical Research Is Commonly Misunderstood as Cheap<\/a><\/li><\/ul><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-7\" href=\"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/#Traditional_Institutions_Do_Not_Solve_the_Problem\" >Traditional Institutions Do Not Solve the Problem<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-8\" href=\"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/#The_Problem_Is_Especially_Serious_for_Foundational_Mathematics\" >The Problem Is Especially Serious for Foundational Mathematics<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-9\" href=\"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/#Why_DeSci_Has_Not_Yet_Corrected_the_Imbalance\" >Why DeSci Has Not Yet Corrected the Imbalance<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-10\" href=\"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/#A_Better_Model_Funding_Scientific_Contribution_Rather_Than_Intellectual_Property\" >A Better Model: Funding Scientific Contribution Rather Than Intellectual Property<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-11\" href=\"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/#AI_Can_Help%E2%80%94but_It_Must_Not_Become_the_Final_Authority\" >AI Can Help\u2014but It Must Not Become the Final Authority<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-12\" href=\"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/#Why_Supporting_Abstract_Mathematics_Benefits_Every_DeSci_Project\" >Why Supporting Abstract Mathematics Benefits Every DeSci Project<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-13\" href=\"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/#DeSci_Must_Decide_What_Kind_of_Movement_It_Wants_to_Be\" >DeSci Must Decide What Kind of Movement It Wants to Be<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-14\" href=\"https:\/\/science-dao.org\/fr\/there-are-daos-for-biology-and-medicine-why-is-abstract-mathematics-being-left-behind\/#Abstract_Mathematics_Should_Not_Remain_Outside_the_DAO_Economy\" >Abstract Mathematics Should Not Remain Outside the DAO Economy<\/a><\/li><\/ul><\/nav><\/div>\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Biology_and_Medicine_Already_Have_a_DeSci_Ecosystem\"><\/span>Biology and Medicine Already Have a DeSci Ecosystem<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">The best-known science DAOs are concentrated in biology and medicine.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a href=\"https:\/\/www.vitadao.com\/\" target=\"_blank\" rel=\"noopener\">VitaDAO<\/a>, for example, funds longevity research and works to develop scientific discoveries into intellectual-property assets and biotechnology ventures. Molecule has also supported an ecosystem of BioDAOs focused on areas such as longevity, psychedelic research, drug repurposing, and rare diseases.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This model is attractive to investors because biomedical research can produce assets with relatively visible commercial pathways:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>a drug candidate;<\/li>\n\n\n\n<li>a diagnostic method;<\/li>\n\n\n\n<li>a patent;<\/li>\n\n\n\n<li>a therapeutic platform;<\/li>\n\n\n\n<li>a biotechnology startup;<\/li>\n\n\n\n<li>or a licensing agreement.<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">A DAO can fund early research, acquire or manage related intellectual property, and potentially receive revenue if the project succeeds.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This does not mean that biomedical research is easy or that returns are guaranteed. Drug development is expensive, uncertain, and slow. Nevertheless, investors can understand the basic economic story: <strong>fund research today, obtain a commercially valuable medical asset tomorrow<\/strong>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Abstract mathematics rarely offers such a simple narrative.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Why_Abstract_Mathematics_Is_Harder_to_Tokenize\"><\/span>Why Abstract Mathematics Is Harder to Tokenize<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">A mathematical theorem is not usually a commercial product.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">It may be extremely important without producing immediate revenue. A new algebraic structure, proof technique, foundational language, or classification theorem may influence other fields only decades later. Its future applications may be impossible to predict at the time of discovery.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This creates several difficulties for conventional DAO funding.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"1_Mathematical_Value_Is_Difficult_to_Measure_Quickly\"><\/span>1. Mathematical Value Is Difficult to Measure Quickly<span class=\"ez-toc-section-end\"><\/span><\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">In biology, a project may have observable milestones:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>a compound was synthesized;<\/li>\n\n\n\n<li>an experiment was completed;<\/li>\n\n\n\n<li>a biological effect was measured;<\/li>\n\n\n\n<li>or a clinical target was validated.<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">In pure mathematics, the central output may be a definition, theorem, proof, counterexample, or new conceptual framework. Evaluating that output can require highly specialized expertise.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">A genuinely original mathematical theory may initially be understood by only a few people. The more foundational the work, the harder it may be to compare it with familiar research.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"2_There_May_Be_No_Intellectual-Property_Revenue\"><\/span>2. There May Be No Intellectual-Property Revenue<span class=\"ez-toc-section-end\"><\/span><\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">Mathematical knowledge is normally published openly. Theorems themselves are generally not treated like patentable pharmaceutical compounds.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">That is good for civilization: mathematical knowledge should be reusable by everyone. But it weakens funding systems built around ownership and future licensing revenue.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">A BioDAO may ask, \u201cWhat intellectual property will this research create?\u201d<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">A mathematics DAO must ask a different question:<\/p>\n\n\n\n<blockquote class=\"wp-block-quote is-layout-flow wp-block-quote-is-layout-flow\">\n<p class=\"wp-block-paragraph\">What new intellectual infrastructure will this research create for humanity?<\/p>\n<\/blockquote>\n\n\n\n<p class=\"wp-block-paragraph\">That is a harder question for investors\u2014but arguably a more important one.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"3_Mathematical_Applications_Often_Arrive_Much_Later\"><\/span>3. Mathematical Applications Often Arrive Much Later<span class=\"ez-toc-section-end\"><\/span><\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">Abstract mathematics repeatedly becomes practical long after its creation.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Number theory once appeared remote from ordinary life, yet it became fundamental to modern cryptography. Non-Euclidean geometry later became essential to general relativity. Abstract algebra supports coding theory, computer science, cryptographic protocols, and many other technologies.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The problem is that funding markets tend to discount distant and uncertain benefits. A theory that may become indispensable in 30 years is difficult to finance through mechanisms expecting a startup, token increase, patent, or exit within a few years.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"4_Mathematical_Research_Is_Commonly_Misunderstood_as_Cheap\"><\/span>4. Mathematical Research Is Commonly Misunderstood as Cheap<span class=\"ez-toc-section-end\"><\/span><\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">People often assume that mathematicians need only paper, a pencil, and time.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Mathematics may require less laboratory equipment than experimental biology, but mathematicians still need:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>income and stable living conditions;<\/li>\n\n\n\n<li>access to literature;<\/li>\n\n\n\n<li>research software and computing infrastructure;<\/li>\n\n\n\n<li>conference participation;<\/li>\n\n\n\n<li>collaborators;<\/li>\n\n\n\n<li>editorial and publication support;<\/li>\n\n\n\n<li>and, above all, uninterrupted time.<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">The absence of laboratory expenses does not make mathematical labor free.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Traditional_Institutions_Do_Not_Solve_the_Problem\"><\/span>Traditional Institutions Do Not Solve the Problem<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">It might be argued that universities and government grants already support mathematics, making a specialized DAO unnecessary. In reality, institutional funding introduces its own exclusions.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Research grants are commonly tied to universities, academic credentials, previous grants, publication records, national priorities, and established professional networks. Independent researchers may be excluded before the mathematical content of their work is seriously considered.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Even researchers inside universities are pressured to present projects in ways that committees can evaluate quickly. This can favor fashionable subjects, familiar terminology, established departments, and projects whose outcomes are easier to predict.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Research suggests that mathematical subfields do not enjoy equal status. Some areas are disproportionately represented in highly ranked departments, selective journals, and major prizes, indicating that internal prestige structures affect which work receives attention.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The result is a paradox:<\/p>\n\n\n\n<blockquote class=\"wp-block-quote is-layout-flow wp-block-quote-is-layout-flow\">\n<p class=\"wp-block-paragraph\">Mathematics celebrates radical abstraction, but its institutions may reward conformity to existing academic categories.<\/p>\n<\/blockquote>\n\n\n\n<p class=\"wp-block-paragraph\">A long, unconventional manuscript by an unaffiliated author can be scientifically valuable while remaining institutionally almost invisible.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"The_Problem_Is_Especially_Serious_for_Foundational_Mathematics\"><\/span>The Problem Is Especially Serious for Foundational Mathematics<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Foundational research often does not fit inside a narrow grant proposal.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Suppose a researcher develops a large theory that connects order theory, algebra, category-like structures, topology, and generalized actions. Evaluating it may require hundreds of pages, new terminology, and substantial preliminary study.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Such a project has several characteristics that conventional funding systems dislike:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>it is too broad for a narrowly defined grant;<\/li>\n\n\n\n<li>too unfamiliar for rapid peer review;<\/li>\n\n\n\n<li>too long for ordinary journal formats;<\/li>\n\n\n\n<li>too theoretical for commercial investors;<\/li>\n\n\n\n<li>and too difficult for general-purpose crowdfunding.<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Yet precisely such work may create a new language that later simplifies many other theories.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This is relevant to research on <strong>ordered semigroup and ordered semicategory actions<\/strong>: an abstract subject that may provide a general framework for structures appearing across topology and algebra. Whether any particular theory ultimately succeeds must be determined through rigorous examination\u2014not by rejecting it because its author lacks a conventional position or because the manuscript is unusually long.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">A fair funding system should make deep evaluation possible.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Why_DeSci_Has_Not_Yet_Corrected_the_Imbalance\"><\/span>Why DeSci Has Not Yet Corrected the Imbalance<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">DeSci is often described as a way to connect researchers directly with supporters, make funding more transparent, and reduce dependence on centralized grant institutions.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">However, decentralization alone does not guarantee meritocracy.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">A DAO can reproduce the same biases as a traditional institution:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>famous researchers attract more votes;<\/li>\n\n\n\n<li>popular topics attract more donations;<\/li>\n\n\n\n<li>visually impressive experiments outperform abstract arguments;<\/li>\n\n\n\n<li>commercial projects attract investors;<\/li>\n\n\n\n<li>and voters support work they already understand.<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Blockchain governance does not automatically evaluate science correctly. It merely records and executes decisions according to specified rules.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">If those rules reward popularity, the DAO becomes a transparent popularity contest.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Abstract mathematics therefore needs more than crowdfunding. It needs a system capable of identifying dependencies, evaluating expert judgments, rewarding reviewers, and financing work whose importance is not immediately obvious.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"A_Better_Model_Funding_Scientific_Contribution_Rather_Than_Intellectual_Property\"><\/span>A Better Model: Funding Scientific Contribution Rather Than Intellectual Property<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">One possible approach is the <strong>AI Internet-Meritocracy (AIIM)<\/strong> proposed by <a href=\"https:\/\/science-dao.org\/fr\/\">World Science DAO<\/a>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">AIIM is intended to allocate funding according to the evaluated usefulness and merit of contributions rather than relying solely on institutional affiliation, commercial intellectual property, or the popularity of a fundraising campaign. Its proposed model is designed to support <a href=\"https:\/\/science-dao.org\/fr\/non-discriminatory\/\">non-discriminatory scientific grants<\/a> and to make allocation decisions more transparent and auditable.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">For abstract mathematics, such a system could evaluate several distinct forms of contribution:<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li><strong>Original research<\/strong> \u2014 definitions, conjectures, theorems, proofs, and theoretical frameworks.<\/li>\n\n\n\n<li><strong>Verification<\/strong> \u2014 checking proofs, identifying errors, and formally verifying results.<\/li>\n\n\n\n<li><strong>Explanation<\/strong> \u2014 writing accessible expositions of difficult theories.<\/li>\n\n\n\n<li><strong>Dependency mapping<\/strong> \u2014 determining which results depend on which earlier contributions.<\/li>\n\n\n\n<li><strong>Implementation<\/strong> \u2014 encoding mathematics in proof assistants or research software.<\/li>\n\n\n\n<li><strong>Application<\/strong> \u2014 connecting abstract theories to computing, physics, cryptography, or other disciplines.<\/li>\n<\/ol>\n\n\n\n<p class=\"wp-block-paragraph\">This is important because mathematical progress is rarely the achievement of one isolated publication. It is a dependency network.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">One researcher introduces a concept. Another proves a theorem about it. A third finds a counterexample. A fourth formalizes the theory. A fifth applies it to another field.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">A sophisticated funding system should recognize the entire chain.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"AI_Can_Help%E2%80%94but_It_Must_Not_Become_the_Final_Authority\"><\/span>AI Can Help\u2014but It Must Not Become the Final Authority<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Artificial intelligence may reduce the cost of evaluating mathematics.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">AI systems can potentially:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>summarize long manuscripts;<\/li>\n\n\n\n<li>compare definitions with existing literature;<\/li>\n\n\n\n<li>identify related results;<\/li>\n\n\n\n<li>check local logical consistency;<\/li>\n\n\n\n<li>assist with formalization;<\/li>\n\n\n\n<li>map citation and theorem dependencies;<\/li>\n\n\n\n<li>and recommend qualified human reviewers.<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Formal proof systems already demonstrate that computers can help mathematicians manage increasingly complex arguments. Research on proof assistants and abstraction boundaries suggests that formal tools can improve the organization and verification of mathematical work.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">However, AI should not simply issue an opaque score declaring whether a theory is valuable.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The system must remain auditable. Human experts should be able to inspect the reasoning, challenge evaluations, report errors, and compare competing assessments. AI should lower the cost of scientific review\u2014not replace scientific accountability.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Why_Supporting_Abstract_Mathematics_Benefits_Every_DeSci_Project\"><\/span>Why Supporting Abstract Mathematics Benefits Every DeSci Project<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">A biotechnology DAO may appear unrelated to pure mathematics. In practice, the entire DeSci ecosystem depends on mathematical work.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">DAOs require:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>cryptography;<\/li>\n\n\n\n<li>distributed-systems theory;<\/li>\n\n\n\n<li>game theory;<\/li>\n\n\n\n<li>mechanism design;<\/li>\n\n\n\n<li>formal verification;<\/li>\n\n\n\n<li>optimization;<\/li>\n\n\n\n<li>statistics;<\/li>\n\n\n\n<li>graph theory;<\/li>\n\n\n\n<li>and economic modeling.<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">The more money and authority DAOs control, the more important rigorous mathematical foundations become.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">A vulnerability in a smart contract, a flawed voting mechanism, or a poorly designed incentive structure can destroy a project. Funding foundational mathematics is therefore not charity offered by practical projects to an impractical discipline.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">It is investment in the infrastructure those projects use.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"DeSci_Must_Decide_What_Kind_of_Movement_It_Wants_to_Be\"><\/span>DeSci Must Decide What Kind of Movement It Wants to Be<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">There are two possible futures for decentralized science.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In the first, DeSci becomes a new form of venture capital for biotechnology. It funds projects with recognizable intellectual property, market narratives, and investment exits. This may produce useful medical innovation, but it leaves much of science unchanged.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In the second, DeSci builds a general system for recognizing and supporting knowledge\u2014including public goods that cannot be enclosed within patents or monetized immediately.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Abstract mathematics is a decisive test.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">If decentralized science can fund only research with a visible commercial asset, it has not solved the fundamental problem of scientific funding. It has simply created a new investment mechanism.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">A genuine scientific meritocracy must support discoveries before their economic value becomes obvious. It must make room for unknown researchers, unfamiliar theories, long manuscripts, negative results, verification work, and abstract ideas whose applications may belong to the future.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Abstract_Mathematics_Should_Not_Remain_Outside_the_DAO_Economy\"><\/span>Abstract Mathematics Should Not Remain Outside the DAO Economy<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Biology and medicine were natural starting points for DeSci. They combine urgent human needs with identifiable research assets and strong communities of patients, scientists, and investors.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">But they should be the beginning\u2014not the boundary\u2014of decentralized science.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Abstract mathematics requires a different economic model: one based less on intellectual-property ownership and more on transparent evaluation, public benefit, scientific dependencies, and long-term contribution.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">World Science DAO aims to develop such a model through AIIM. Readers who believe that important research should be evaluated by its content rather than the researcher\u2019s status can learn more about <a href=\"https:\/\/science-dao.org\/fr\/meritocracy\/\">merit-based science funding<\/a> and <a href=\"https:\/\/science-dao.org\/fr\/donation\/\">support the development of independent scientific infrastructure<\/a>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The blockchain industry was built on mathematics. DeSci now has an opportunity to repay that debt\u2014not merely with recognition, but with a functioning funding system for the next generation of mathematical ideas.<\/p>\n<div id=\"scien-1501472822\" class=\"scien-after-content scien-entity-placement\"><section>\r\n\r\n<h2>Support Independent Science<\/h2>\r\n\r\n<p>Supporting independent science is not only a matter of fairness to researchers whose expertise and work are often underfunded. It is also essential for addressing <a href=\"https:\/\/science-dao.org\/fr\/who-are-science-marketers\/\">systemic failures in scientific publishing<\/a> that delay discoveries and leave important results unnoticed. In science and software, even one missing component can prevent an entire system from working.<\/p>\r\n\r\n<p><strong>Help valuable research and open-source infrastructure move forward.<\/strong> Please <strong><a href=\"https:\/\/science-dao.org\/fr\/donation\/\">make a donation<\/a><\/strong> to support <a href=\"https:\/\/science-dao.org\/fr\/amateur-scientists\/\">independent scientists<\/a> and <a href=\"https:\/\/science-dao.org\/fr\/free-software\/\">free software developers<\/a>.<\/p>\r\n\r\n<p>\r\n\t\tOur flagship product is <a href=\"https:\/\/science-dao.org\/fr\/meritocracy\/\">AI Internet-Meritocracy<\/a> - an app, that unlike universities distributes money directly to researchers and open source developers, without bureaucracy.\r\n<\/p>\r\n\r\n<\/section><\/div><div id=\"scien-4279932415\" class=\"scien-after-content-2 scien-entity-placement\"><div data-nosnippet style=\"max-width: 800px\">\r\n<p style=\"margin-bottom: 0\">Ads:<\/p>\r\n<style>\r\n    \/* Compact Table Styling *\/\r\n    .amazon-ad-table {\r\n        width: 100%;\r\n        max-width: 800px;\r\n        border-collapse: collapse;\r\n        margin: 10px auto;\r\n        font-family: Arial, sans-serif;\r\n        border: 1px solid #e0e0e0;\r\n    }\r\n    .amazon-ad-table th {\r\n        background-color: #f3f3f3;\r\n        padding: 8px;\r\n        text-align: left;\r\n        border-bottom: 2px solid #ddd;\r\n        font-size: 0.9em;\r\n    }\r\n    .amazon-ad-table td {\r\n        padding: 8px 5px;\r\n        border-bottom: 1px solid #e0e0e0;\r\n        vertical-align: middle;\r\n    }\r\n    \/* Column sizing *\/\r\n    .col-image { width: 15%; text-align: center; vertical-align: top; padding-top: 10px; }\r\n    .col-desc { width: 65%; }\r\n    .col-action { width: 20%; text-align: center; }\r\n\r\n    \/* Image Placeholder Styling *\/\r\n    \/* YOU WILL REPLACE THIS ENTIRE BLOCK WHEN YOU INSERT REAL AMAZON CODE *\/\r\n    .img-placeholder {\r\n        width: 80px;\r\n        height: 110px;\r\n        background-color: #eee;\r\n        border: 1px solid #ddd;\r\n        color: #666;\r\n        font-size: 0.7em;\r\n        display: flex;\r\n        justify-content: center;\r\n        align-items: center;\r\n        margin: 0 auto;\r\n        text-align: center;\r\n    }\r\n    \r\n    \/* Typography - Smaller fonts and tighter line heights *\/\r\n    .product-title {\r\n        font-size: 1em;\r\n        font-weight: bold;\r\n        color: #007185;\r\n        text-decoration: none;\r\n        display: block;\r\n        margin-bottom: 2px;\r\n    }\r\n    .product-title:hover { color: #C7511F; text-decoration: underline; }\r\n    .product-author { \r\n        color: #565959; \r\n        font-size: 0.8em; \r\n        margin-bottom: 4px; \r\n    }\r\n    .product-blurb { \r\n        font-size: 0.85em; \r\n        line-height: 1.25;\r\n        color: #333; \r\n        margin: 0;\r\n    }\r\n\r\n    \/* Compact Button Styling *\/\r\n    .amazon-button {\r\n        display: inline-block;\r\n        background-color: #FFD814;\r\n        border: 1px solid #FCD200;\r\n        border-radius: 20px;\r\n        color: #0F1111;\r\n        padding: 6px 10px;\r\n        text-align: center;\r\n        text-decoration: none;\r\n        font-size: 0.8em;\r\n        font-weight: bold;\r\n        box-shadow: 0 2px 5px rgba(0,0,0,0.1);\r\n        transition: background-color 0.2s;\r\n        white-space: nowrap;\r\n    }\r\n    .amazon-button:hover { background-color: #F7CA00; border-color: #F2C200; cursor: pointer;}\r\n\r\n    \/* Disclosure *\/\r\n    .affiliate-disclosure {\r\n        font-size: 0.75em;\r\n        color: #565959;\r\n        text-align: center;\r\n        margin-top: 5px;\r\n    }\r\n\r\n    \/* Responsive *\/\r\n    @media (max-width: 600px) {\r\n        .amazon-ad-table thead { display: none; }\r\n        .amazon-ad-table tr { display: flex; flex-direction: column; border-bottom: 2px solid #ddd; padding: 10px; }\r\n        .amazon-ad-table td { width: 100%; border: none; padding: 5px 0; text-align: center; }\r\n        .col-desc { text-align: center; }\r\n    }\r\n<\/style>\r\n<table class=\"amazon-ad-table\">\r\n    <thead>\r\n        <tr>\r\n            <th>Description<\/th>\r\n            <th>Action<\/th>\r\n        <\/tr>\r\n    <\/thead>\r\n    <tbody>\r\n        <tr>\r\n            <td class=\"col-desc\">\r\n                <a href=\"https:\/\/www.amazon.com\/dp\/0553380168?tag=vpf04-20\" class=\"product-title\" target=\"_blank\" rel=\"nofollow noopener\">A Brief History of Time<\/a>\r\n                <div class=\"product-author\">by Stephen Hawking<\/div>\r\n                <p class=\"product-blurb\">A landmark volume in science writing exploring cosmology, black holes, and the nature of the universe in accessible language.<\/p>\r\n            <\/td>\r\n            <td class=\"col-action\">\r\n                <a href=\"https:\/\/www.amazon.com\/dp\/0553380168?tag=vpf04-20\" class=\"amazon-button\" target=\"_blank\" rel=\"nofollow noopener\">Check Price<\/a>\r\n            <\/td>\r\n        <\/tr>\r\n\r\n        <tr>\r\n            <td class=\"col-desc\">\r\n                <a href=\"https:\/\/www.amazon.com\/dp\/0393609391?tag=vpf04-20\" class=\"product-title\" target=\"_blank\" rel=\"nofollow noopener\">Astrophysics for People in a Hurry<\/a>\r\n                <div class=\"product-author\">by Neil deGrasse Tyson<\/div>\r\n                <p class=\"product-blurb\">Tyson brings the universe down to Earth clearly, with wit and charm, in chapters you can read anytime, anywhere.<\/p>\r\n            <\/td>\r\n            <td class=\"col-action\">\r\n                <a href=\"https:\/\/www.amazon.com\/dp\/0393609391?tag=vpf04-20\" class=\"amazon-button\" target=\"_blank\" rel=\"nofollow noopener\">Check Price<\/a>\r\n            <\/td>\r\n        <\/tr>\r\n\r\n         <tr>\r\n            <td class=\"col-desc\">\r\n                <a href=\"https:\/\/www.amazon.com\/s?k=raspberry+pi+4+starter+kit&tag=vpf04-20\" class=\"product-title\" target=\"_blank\" rel=\"nofollow noopener\">Raspberry Pi Starter Kits<\/a>\r\n                <div class=\"product-author\">Supports Computer Science Education<\/div>\r\n                <p class=\"product-blurb\">Inexpensive computers designed to promote basic computer science education. Buying kits supports this ecosystem.<\/p>\r\n            <\/td>\r\n            <td class=\"col-action\">\r\n                <a href=\"https:\/\/www.amazon.com\/s?k=raspberry+pi+4+starter+kit&tag=vpf04-20\" class=\"amazon-button\" target=\"_blank\" rel=\"nofollow noopener\">View Options<\/a>\r\n            <\/td>\r\n        <\/tr>\r\n\r\n        <tr>\r\n            <td class=\"col-desc\">\r\n                <a href=\"https:\/\/www.amazon.com\/dp\/0596002874?tag=vpf04-20\" class=\"product-title\" target=\"_blank\" rel=\"nofollow noopener\">Free as in Freedom: Richard Stallman's Crusade<\/a>\r\n                <div class=\"product-author\">by Sam Williams<\/div>\r\n                <p class=\"product-blurb\">A detailed history of the free software movement, essential reading for understanding the philosophy behind open source.<\/p>\r\n            <\/td>\r\n            <td class=\"col-action\">\r\n                <a href=\"https:\/\/www.amazon.com\/dp\/0596002874?tag=vpf04-20\" class=\"amazon-button\" target=\"_blank\" rel=\"nofollow noopener\">Check Price<\/a>\r\n            <\/td>\r\n        <\/tr>\r\n    <\/tbody>\r\n<\/table>\r\n<div class=\"affiliate-disclosure\">\r\n    <p>As an Amazon Associate I earn from qualifying purchases resulting from links on this page.<\/p>\r\n<\/div>\r\n<\/div><\/div>","protected":false},"excerpt":{"rendered":"<p>Decentralized science, commonly known as DeSci, promises to transform how research is funded, evaluated, and published. Yet the movement has developed unevenly. Biology, longevity research, biotechnology, and medicine already have [&hellip;]<\/p>","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-24203","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/science-dao.org\/fr\/wp-json\/wp\/v2\/posts\/24203","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/science-dao.org\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/science-dao.org\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/science-dao.org\/fr\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/science-dao.org\/fr\/wp-json\/wp\/v2\/comments?post=24203"}],"version-history":[{"count":1,"href":"https:\/\/science-dao.org\/fr\/wp-json\/wp\/v2\/posts\/24203\/revisions"}],"predecessor-version":[{"id":24204,"href":"https:\/\/science-dao.org\/fr\/wp-json\/wp\/v2\/posts\/24203\/revisions\/24204"}],"wp:attachment":[{"href":"https:\/\/science-dao.org\/fr\/wp-json\/wp\/v2\/media?parent=24203"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/science-dao.org\/fr\/wp-json\/wp\/v2\/categories?post=24203"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/science-dao.org\/fr\/wp-json\/wp\/v2\/tags?post=24203"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}