Find anything

Search every person, event, talk, paper, patent, company, project, topic, photo, or videoType any prefix

Advanced search

Search withinEverythingGraph entitiesOntologyPage content

Entity typesPeopleEventsTalksPapersPatentsCompaniesProjectsTopicsVideosPhotos

↑↓ choose · Enter open · Esc close

Search Graph CLI Topics Blogs Events Posts Papers Patents Feed Talks Photos Add your work My graph

Loading devreal.ai…

Community index online

Built for the people who make technology make sense.

© 2026 devreal.ai

New on DevRealMojo 1.0 and open source: our ModCon 2026 videosRead and watch ↗

New on FunctionalTVVideos from DataFusion meetup at LangChain are upWatch the videos ↗

New on FunctionalTVRust AI Begins recordings are liveWatch all 12 ↗

Recently verified

@renatlbRenat LotfullinClaimed profile ↗@jesusvilelaJesús Vilela JatoClaimed profile ↗@jameswardJames WardClaimed profile ↗@schwentkerRobert SchwentkerClaimed profile ↗@etorreborreEric TorreborreClaimed profile ↗@mileschintwTsungWei ChinClaimed profile ↗@newfrontScott HainesClaimed profile ↗@devtyTyler SingletaryClaimed profile ↗@nyghtowlMelanie WarrickVerified node ↗@alexyAlexy KhrabrovClaimed profile ↗

Chief Scientist: Timothy Gowers, GOSIM 2026 Paris — devreal.ai

← Back to the graph

talk · community record

Chief Scientist: Timothy Gowers, GOSIM 2026 Paris

Alexy Khrabrov and Timothy Gowers discuss mathematical discovery, Lean, automatic theorem proving, auto-formalization, and AI-assisted mathematics.

Watch on YouTube ↗Add or suggest a connection ↗

01

Connections

4 relationships

discussesLeanproject ↗featured_in · incomingAlexy Khrabrovperson ↗featured_in · incomingTimothy Gowersperson ↗part_ofGOSIM Paris 2026event ↗

02

Provenance

Type: talk
Status: Imported / unclaimed
date: 2026-05-05
type: talk
title: Chief Scientist: Timothy Gowers, GOSIM 2026 Paris
video: https://www.youtube.com/watch?v=SJOt0DvRnQM
origin: external-conference
source: bythebay
abstract: Alexy Khrabrov and Timothy Gowers discuss mathematical discovery, Lean, automatic theorem proving, auto-formalization, and AI-assisted mathematics.
event_id: event:functionaltv-gosim-paris-2026