Loading activity…
@obhisheksaha
Professor of maths @QMUL • founder member @lucaf_london, advisory board @ComAcFreedom, co-convenor @AFAF_QMUL • individual liberty, self-ownership • views mine.
AI
OpenAI says its claimed refutation of the Exponential Time Hypothesis was formalized in Lean and made public.
AI
OpenAI says it drew on an independent mathematics advisory group’s advice about how to release the results.
AI
A mathematics professor and journal editor argues that the damage comes from mathematicians’ reactions, not AI itself.
