"One-page proof of Fermat theorem" generated with SDXL Lightning API by fal.ai fastsdxl.ai/share/mc4wnwp2… via fal #math #FLT

n = 361287932380979930726400 is the largest number such that phi(n) = tau(n)^4. oeis.org/A114063 #math #divisors #totient

Preprint on "BWT construction and search at the terabase scale". We can compress 100 human genomes to 11GB in 21 hours, find SMEMs with it, do affine-gap alignment and retrieve similar local haplotypes. 7.3Tb commonly sequenced bacterial genomes ⇒ 30GB arxiv.org/abs/2409.00613

📷 Sergei Gukov "What makes math problems hard for reinforcement learning: a case study" 📷 19 September, Thursday 18.00 Paris time Zoom link will be here 5 mins before start. Google calendar: calendar.google.com/calendar/u/0/r… The talk is based on a recent paper: arxiv.org/abs/2408.15332

Don't tell Maria Nattestad but I borrowed her desk to film this video about the backstory behind the FASTA format: youtu.be/7LA0IKsVloU

How I woke up one day and decided to solve a math conjecture from the 1970s ⤵️

Weekend win: The proof I submitted for Erdos Problem #397 was accepted by Terence Tao. The proof was generated by GPT 5.2 Pro and formalized with Harmonic. Many open problems are sitting there, waiting for someone to prompt ChatGPT to solve them: