Ibrahima GUEYE

Emergency Medicine/Disaster Specialist, Master 1 Bioinformatic/Biomathematic , 3D Printing,NumberTheory (Erdös-Straus1948)

[Ibrahima GUEYE @ibrahimaeygue]

hi everyone

https://t.co/xqnuFyCAlX

[Ibrahima GUEYE @ibrahimaeygue]

@NilooferN Thanks a lot. Move forward

[Ibrahima GUEYE @ibrahimaeygue]

@tidjanedeme @LewamKefela Thanks a lot. Move forward

[Tidjane DEME @tidjanedeme]

Week-end youtubing recommendation from @LewamKefela

https://t.co/yVewL5l9nW

[Ibrahima GUEYE @ibrahimaeygue]

https://t.co/LNKEXaEo8p

[Leonis Investissement @Leonis_VC]

AlgoSource sur Sowefund - Devrais-tu investir ? Mon avis https://t.co/3Cf8W8M3nd

[CSN @laCSN]

L'éclipse du 8 avril 2024 vue du toit de la CSN à Montréal!

[Ibrahima GUEYE @ibrahimaeygue]

@tanelhealth https://t.co/wxQy0cJAQY

[Ibrahima GUEYE @ibrahimaeygue]

@tanelhealth des interactions médicamenteuses https://t.co/wxQy0cJAQY

[Ibrahima GUEYE @ibrahimaeygue]

@tanelhealth https://t.co/wxQy0cJAQY voir ce tableau

[Ibrahima GUEYE @ibrahimaeygue]

@tanelhealth https://t.co/wxQy0cJAQY

[Ibrahima GUEYE @ibrahimaeygue]

@quocleix
Hello

How do you do ?

Thanks and congratulations for your wonderful article "Solving olympiad geometry without humain démonstrations".

Twelve years ago in 2012 i showed thé link between Erdos straus conjecture

[Ibrahima GUEYE @ibrahimaeygue]

@Yuhu_ai_
Hello

How do you do ?

Thanks and congratulations for your wonderful article "Solving olympiad geometry without humain démonstrations".

Twelve years ago in 2012 i showed thé link between Erdos straus conjecture

[Ibrahima GUEYE @ibrahimaeygue]

@hhexiy
Hello

How do you do ?

Thanks and congratulations for your wonderful article "Solving olympiad geometry without humain démonstrations".

Twelve years ago in 2012 i showed thé link between Erdos straus conjecture

[Ibrahima GUEYE @ibrahimaeygue]

@thtrieu_
Hello

How do you do ?

Thanks and congratulations for your wonderful article "Solving olympiad geometry without humain démonstrations".

Twelve years ago in 2012 i showed thé link between Erdos straus conjecture

[Ibrahima GUEYE @ibrahimaeygue]

@thtrieu_
Hello

How do you do ?

Thanks and congratulations for your wonderful article "Solving olympiad geometry without humain démonstrations".

Twelve years ago in 2012 i showed thé link between Erdos straus conjecture

[Ibrahima GUEYE @ibrahimaeygue]

@lmthang
Hello

How do you do ?

Thanks and congratulations for your wonderful article "Solving olympiad geometry without humain démonstrations".

Twelve years ago in 2012 i showed thé link between Erdos straus conjecture

[Ibrahima GUEYE @ibrahimaeygue]

@lmthang @GoogleDeepMind Hello

How do you do ?

Thanks and congratulations for your wonderful article "Solving olympiad geometry without humain démonstrations".

Twelve years ago in 2012 i showed thé link between Erdos straus conjecture

[Thang Luong @lmthang]

Super thrilled to share our latest work, AlphaGeometry from @GoogleDeepMind , the first AI system ever approaching the IMO gold medalists in solving Olympiad geometry math problems. Published today at Nature, titled “Solving olympiad geometry without human demonstrations”, our work marks an important milestone towards advanced reasoning, which, I believe, is the key prerequisite for AGI.

As someone who was doing Olympiad Maths full time back in high school, I find the results really fascinating. #AlphaGeometry (trained on 100% synthetic data) was able to surpass the previous state-of-the-art by a large margin. It can solve all geometry problems of the years 2000 and 2015, judged correct by humans, equivalent to winning real Bronze medals those years!

A few key ideas of AlphaGeometry. (1) synthetic data generation at scale with 100M theorems and proofs, allowing AlphaGeometry to learn from scratch, without any human demonstrations. (2) a neuro-symbolic architecture that combines a neural language model (System 1, creative) with a symbolic deduction engine (System 2, reliable), allowing AlphaGeometry to reason efficiently and effectively.

Amazing collaborators: @thtrieu_, @Yuhu_ai_, @quocleix, @hhexiy.
Blog: https://t.co/WxjVL66VER
Paper: https://t.co/uEFGx6oPAW
Code: https://t.co/Tjm6Hg5jOp

[Ibrahima GUEYE @ibrahimaeygue]

@GeometryAl85293
Hello

How do you do ?

Thanks and congratulations for your wonderful article "Solving olympiad geometry without humain démonstrations".

Twelve years ago in 2012 i showed thé link between Erdos straus conjecture of 1948 and Pythagorean triples