Events and news relevant to the Laboratory for Foundations of Computer Science

[Informatics Institute News <institute-news@inf.ed.ac.uk>]

BEGIN:VCALENDAR
METHOD:REQUEST
PRODID:Microsoft Exchange Server 2010
VERSION:2.0
BEGIN:VTIMEZONE
TZID:GMT Standard Time
BEGIN:STANDARD
DTSTART:16010101T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
RRULE:FREQ=YEARLY;INTERVAL=1;BYDAY=-1SU;BYMONTH=10
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:16010101T010000
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;INTERVAL=1;BYDAY=-1SU;BYMONTH=3
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
ORGANIZER;CN=Informatics Institute News:mailto:institute-news@inf.ed.ac.uk
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=inf-semina
 rs@mlist.is.ed.ac.uk:mailto:inf-seminars@mlist.is.ed.ac.uk
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=inf-aiai-s
 eminars@mlist.is.ed.ac.uk:mailto:inf-aiai-seminars@mlist.is.ed.ac.uk
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=lfcs-inter
 est@mlist.is.ed.ac.uk:mailto:lfcs-interest@mlist.is.ed.ac.uk
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=AIAI Membe
 rs:mailto:aiai-members@inf.ed.ac.uk
DESCRIPTION;LANGUAGE=en-US:Hello all\,\n\nThere will be an AIAI Seminar on 
 Monday 16th March in Informatics Forum G.03 by visiting speaker Ursula Mar
 tin.\n\nTitle: Will machines change pure mathematics?\n\nSpeaker: Ursula M
 artin\nhttps://www.maths.ox.ac.uk/people/ursula.martin\n\nAbstract: Recent
  months have seen astonishing advances in the use of AI techniques in math
 ematical papers: “vibe coding” by non-experts to produce formal proofs
  in LEAN\; expert human guidance of  LLMs produce credible\, if derivative
 \, research papers\; specialist algorithms such as AlphaGeometry\; and sop
 histicated use of machine learning to search for examples.\n\nTheir develo
 pment (at huge cost in compute power and energy) has been accompanied by a
 n unfamiliar and exuberant level of hype from well-funded start-ups claimi
 ng to “solve mathematics” and the like. And it raises questions beyond
  the technical concerning governance\, funding and the nature of the mathe
 matical profession.\n\nTo try and understand what’s going on and where f
 uture challenges might lie\, we look historical examples of changes in mat
 hematical practice - as an example we consider key developments in the ear
 ly days of computational group theory.\n\nBest wishes\nJodie\nThe Universi
 ty of Edinburgh is a charitable body\, registered in Scotland\, with regis
 tration number SC005336. Is e buidheann carthannais a th’ ann an Oilthig
 h Dhùn Èideann\, clàraichte an Alba\, àireamh clàraidh SC005336.\n
UID:040000008200E00074C5B7101A82E00800000000703F3BBD29AADC01000000000000000
 01000000093AFF141BAA24748B21F910330AA8A51
SUMMARY;LANGUAGE=en-US:AIAI Seminar: Monday 16th March 14:00\, Room Informa
 tics G.03\, Speaker Ursula Martin
DTSTART;TZID=GMT Standard Time:20260316T140000
DTEND;TZID=GMT Standard Time:20260316T150000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260302T095131Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION;LANGUAGE=en-US:Informatics Forum G.03
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-OWNERAPPTID:702691306
X-MICROSOFT-CDO-BUSYSTATUS:TENTATIVE
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:TRUE
X-MICROSOFT-LOCATIONS:[{"DisplayName":"Informatics Forum G.03"\,"LocationAn
 notation":""\,"LocationUri":""\,"LocationStreet":""\,"LocationCity":""\,"L
 ocationState":""\,"LocationCountry":""\,"LocationPostalCode":""\,"Location
 FullAddress":""}]
BEGIN:VALARM
DESCRIPTION:REMINDER
TRIGGER;RELATED=START:-PT15M
ACTION:DISPLAY
END:VALARM
END:VEVENT
END:VCALENDAR