Abstrakt. Den högsta nivån av matematik har traditionellt sett betraktats som en ensam strävan, att producera ett bevis för granskning och acceptans av forskarkollegor. Matematiken befinner sig nu vid en anmärkningsvärd inflexion, med ny teknik som radikalt utökar individernas makt och gränser. Crowdsourcing drar samman olika experter för att lösa problem; symboliska beräkningar tar itu med enorma rutinmässiga beräkningar; och datorer kontrollerar bevis för länge och komplicerat för människor att förstå. Studiet av matematisk praktik är ett framväxande tvärvetenskapligt område som bygger på filosofi och samhällsvetenskap för att förstå hur matematik produceras. Online matematisk aktivitet ger en ny och rik källa till data för empirisk undersökning av matematisk praxis - till exempel samhället frågebesvarande på system mathoverflow innehåller cirka 40 000 matematiska konversationer, och polymath samarbeten ger utskrifter av processen för att upptäcka bevis. Våra förundersökningar har visat vikten av "mjuka" aspekter som analogi och kreativitet, tillsammans med avdrag och bevis, i produktionen av matematik, och har gett oss nya sätt att tänka på roller människor och maskiner för att skapa ny matematisk kunskap. Vi diskuterar ytterligare utredning av dessa resurser och vad det kan avslöja. Crowdsourced matematisk aktivitet är ett exempel på en "social maskin", ett nytt paradigm, identifierat av Berners-Lee, för att betrakta en kombination av människor och datorer som en enda problemlösningsenhet, och ämnet för stora internationella forskningsinsatser. Vi skisserar en framtida forskningsagenda för matematiksociala maskiner, en kombination av människor, datorer och matematiska arkiv för att skapa och tillämpa matematik, med potential att förändra sättet människor gör matematik, och att omvandla räckvidd, tempo, och påverkan av matematikforskning.
Till exempel, crowdsourced matematiska aktiviteter i form av frågesvar eller samarbetsplatser förändras och omvandla hur matematik forskning görs REF.
Mathematical practice, crowdsourcing, and social machines
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science', 'Mathematics', 'Physics']}