CMAI2023

Workshop Creativity in Mathematics and Artificial Intelligence, 18-20 January 2023

[CMAI2023 @cmai2023]

CMAI2023 did not happen (yet), but FIAS/Goethe-Universität organised the "Bridging Fields in Creativity Research" 11-13 Sept 2024, registration still possible: https://t.co/tw8K8xgYPK Our speaker Prof. Anna Abraham @the_imagine_lab will also give a lecture!

[CMAI2023 @cmai2023]

Organised by our speaker Anna Abraham, Ph.D.: Torrance Festival Of Ideas

[Creativity & Imagination Lab @UGA @the_imagine_lab]

Registration is now open for the 2023 TORRANCE FESTIVAL OF IDEAS (April 18-20), a free annual online cultural event where renowned experts from across disciplines present their exciting ideas to the global general public!

Full schedule & registration:
https://t.co/G3prn4MlAf

[CMAI2023 @cmai2023]

Unfortunately this workshop has now been cancelled. Please stay posted for future announcements!

[CMAI2023 @cmai2023]

Early bird registration ends tomorrow! Book your place for the "Creativity in Maths and AI" workshop 18-20 January 2023 @UM_DACS via https://t.co/IvhdETeqEl

[CMAI2023 @cmai2023]

Is "A machine can take hold of the bare fact, but the soul of the fact will always escape it" (Poincaré, 1908) true for LLMs? Come discuss at our workshop: https://t.co/IvhdETeqEl

[CMAI2023 @cmai2023]

What is the creative aspect of a mathematical proof? Will AGI or mathematics be solved first? Very interesting discussion:

[Yann LeCun @ylecun]

Is human led mathematics over?

A discussion between @wtgowers and me, moderated by Joëlle Pineau (managing director of Meta-FAIR).

Short answer: no.
But 'AI for mathematics' is making fast progress.

https://t.co/wod1swcR3c

[CMAI2023 @cmai2023]

Our speaker, mathematician Dr. Paige Randall North @UniUtrecht, will give a lecture about the history of computer proof assistants, in particular in homotopy type theory (HoTT)! A preview on HoTT: https://t.co/WxPGPTW0BQ

[CMAI2023 @cmai2023]

Our speaker Prof. Dr. Simon Colton @SimonGColton @QMUL @MonashUni is an expert in computational creativity and automated mathematical reasoning. Read more about his project The Painting Fool in an article @WiredUK: https://t.co/KR5AeGaoMl

[Bastian Grossenbacher-Rieck @Pseudomanifold]

Check out this workshop with a star-studded cast! So nice bringing together these fields.

[CMAI2023 @cmai2023]

Research by Stylianou & Silver (2004) has pointed out the role of visual representations for mathematicians. What enables visual imagery? Our speaker Dr. Maithilee Kunda @VanderbiltU will provide a computational view of visual imagery in humans and in AI systems.

[Belcourt Theatre @Belcourt]

AFTER YANG opens this Fri, Mar 4 – w/a pre-recorded intro from director @kogonada (+ at Fri's 8pm showtime, a post-screening discussion on AI w/ @VanderbiltU's Maithilee Kunda as part of our 2022 @scienceonscreen) > https://t.co/wTcGOPA7eE

[CMAI2023 @cmai2023]

Great suggestion, thanks @jjcarett2, we have invited @SimonGColton to Maastricht as well!

[Jacques Carette @jjcarett2]

@XenaProject @LawrPaulson There has also been quite a bit of research done on 'creativity' in computer agents (some people who used to do theorem proving got into that game). I have not looked at the theoretical underpinnings of that, but you could ask @SimonGColton .

[CMAI2023 @cmai2023]

How does human creativity compare to AI-based forms? This question will be discussed by our speaker cognitive neuroscientist Prof. Dr. Anna Abraham @the_imagine_lab @universityofga, Director of @TorranceCenterU. Preview:

[CreativeBrainWeek @CreativeBrainWk]

Celebrate Intelligent America we shine a light on Interdisciplinary Creativity @goldenthis and @the_imagine_lab with @ruthmjbyrne @TCINeuroscience @GBHI_Fellows https://t.co/xtXq1Bnkyl

[CMAI2023 @cmai2023]

Our speaker Prof. Dr. Kevin Buzzard, Professor of Pure Mathematics @XenaProject @imperialcollege will give a lecture on "Can computers be mathematically creative?" For a preview, watch his lecture at the International Congress of Mathematics 2022! https://t.co/IERjuF8U1i

[CMAI2023 @cmai2023]

Meet our organiser Prof. Dr. Gerhard Weiss, Professor of Computer Science and Artificial Intelligence @weissg1234 @UM_DACS:

[CMAI2023 @cmai2023]

Meet our organiser mathematician Dr. Renee Hoekzema (previously @OxUniMaths @OxUniEarthSci, now @VUAmsterdam):

[Oxford Mathematics @OxUniMaths]

Renee Hoekzema is a 'pure' mathematician, a topologist, looking at shapes and spaces. But topologists are in demand from across the blurry, artificial divide. 'Applied' maths needs them to work on data.

Or rather, society needs all mathematicians. Let Renee explain.

[CMAI2023 @cmai2023]

Our speaker Prof. Dr. Yang-Hui He @YangHuiHe1 @OxfordPhysics @London_Inst and Nankai University will give a lecture on "Universes as Bigdata: from Geometry, to Physics, to Machine-Learning"! Watch his talk @HarvardCMSA to get inspired by his research: https://t.co/lx296nzCXa

[CMAI2023 @cmai2023]

Our speaker Dr. Catherine Menon @cg_menon does not only have a PhD in Pure Mathematics and is principal lecturer in robotics @UniofHerts, but also wrote the novel "Fragile Monsters"! https://t.co/awMpdFosxQ

[Catherine Menon @cg_menon]

Really looking forward to giving a lecture at this @cmai2023 workshop in January! I'll be talking about the human experience of mathematics. It ain't all numbers, folks. 😊

[CMAI2023 @cmai2023]

Organisers: Gerhard Weiss @weissg1234, Frank Thuijsman @FThuijsman, Henrik Kragh Sørensen @hkraghs, Ralf Peeters @UM_DACS, @MikkelWillum Johansen, Renee Hoekzema @VUamsterdam, Rainer Goebel @rainergoebel, Claire van Doorn @UM_DACS, Hester Breman @Maastricht_FPN

[CMAI2023 @cmai2023]

Registration for the interdisciplinary scientific workshop "Creativity in Mathematics and AI" (CMAI 2023) 18-20 January 2023 @UM_DACS @MaastrichtU in The Netherlands, is now possible via https://t.co/IvhdETdSON

[CMAI2023 @cmai2023]

Many thanks to our sponsors, for example Mathematics Centre Maastricht (MCM), @UM_DACS @Maastricht_FPN @PlatformWisk @MeromorfPress