Youssof Mal

I am your curator. An eclectic.

[Anthropic @AnthropicAI]

Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help.

Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written.

Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized.

We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before.

You can read about the process on our Science Blog: https://t.co/ryYnDEAU6J

And see the complete proof on GitHub: https://t.co/wlYMXYnofz

[Global Labor Market conference @Global_LMC]

The green transition promises to upend labor markets, but it also presents untold opportunities for job creation across a number of sectors says @nyashry of @Kaust_News.
Read the article now
#GLMC2023

[Charlotte Kuperwasser, PhD @KUPERWASSERLAB]

🔬 Exciting News! Discover how we're modeling complex tissue structures & unlocking developmental insights in our new publication! A breakthrough in understanding breast tissue development! 🧬📖 #ScienceAdvances #TissueEngineering #OrganoidResearch

[Youssof Mal @youssofmal]

@DrM2theJ What does it mean!!??

[Youssof Mal @youssofmal]

@Dentographer @nessreen @Sabban31 Agreed, it’s a work in progress, help us learn

[Youssof Mal @youssofmal]

Excellent article by @DrM2theJ, I've rarely seen an article that integrates my love for genetics and gaming!
The very real concepts of “mutation” and genetic conditions are ... https://t.co/SnsqeBCsk6

[Gabriele Pollara @gpollara]

Fantastic depiction of the powerful efficacy of vaccines against infectious diseases (source: https://t.co/wS42zI6czA in @sciencemagazine)

[Nicole Sjoblom, Ph.D. @nicole_sjoblom]

This gave me a good laugh this morning! #Networking is super simple and a great way to connect personally and professionally! My go-to suggestion for people that think they hate networking is to establish a common link- (and keep it simple)! #princessbride

[Paul Atherton @PaulIAtherton]

A cell losing its adhesions before undergoing #mitosis then rapidly reforming them beneath both daughter cells #cellbiology

[Youssof Mal @youssofmal]

Crying in H Mart https://t.co/tYGCkjMAhh

[أ.د.فهد الخضيري @DrAlkhodairy]

قدتسمع(والله ماتركت مستشفى ولاطبيب الا رحت له وما استفدت)! هذا التصرف ليس مبرر لعدم وجود علاج بل انه قد يكون(بإذن الله)سبب لعدم الشفاء!لاسباب كثيرة منهاعدم اعطاء الدواءوقت كافي ليبدأ مفعوله،أوعدم اكمال الفحوصات و(الاحتمالات):التنقل من مستشفى لآخر وطبيب لآخر جعل كلاً يبدأ من جديد

[Vanessa Yanez, PhD @VYBioDesign]

We are live streaming Dr Yasmin Hurd's talk today. Please see the link below #WOCinSTEM #BlackandSTEM https://t.co/iHgMzUW9ou

[Youssof Mal @youssofmal]

What We Know (and Don’t Know) About How to Lose Weight https://t.co/GKXUvC3kF1

[Youssof Mal @youssofmal]

"“aggressively wrong” and unwilling to learn. They actively resisted facts that might alter their preexisting beliefs. They insisted that all opinions, however uninformed, be treated as equally serious."

The Mirage of Knowledge - Harvard Magazine https://t.co/2zLkBnZMEZ

[Youssof Mal @youssofmal]

"Game-changing" synthesized antibiotic successfully treats infections for the first time https://t.co/nPrQYqDNdS via @nwtls

[Front Line Genomics @FLGenomics]

For the first time, researchers have been able to use long read nanopore sequencing to assemble the genomic sequence of a human Y chromosome centromere. https://t.co/x402RsLuX1

[Youssof Mal @youssofmal]

Parasitic Worms Block High Fat Diet-Induced Obesity in Mice https://t.co/fsNdQhakar

[Sofia Levin 🇵🇹 @sofiaflevin]

I discovered I can use Gantt charts for cooking and my mind is blown. 😱 @OmniPlan

[Eric Topol @EricTopol]

2 excellent essays on ethics on genome editing @NatureNews #OA #CRISPR
1. call for an "observatory" by @SJasanoff B Hurlbut https://t.co/dOQ06Q6r9V
2. anticipate, map participation by @sburall https://t.co/shyt7yZ98v