Ognian Milanov

[Algebraic Topology Papers @NGSX]

A stable framework for proper and exterior homotopy and cohomology theories

Antonio Ceres, José M. García-Calcines, Aniceto Murillo
https://t.co/ZywY4Bm9Wn [𝚖𝚊𝚝𝚑.𝙰𝚃]

[Ognian Milanov @OgnianDev]

@thsottiaux Android app slow LaTeX rendering

[Ognian Milanov @OgnianDev]

@AlgebraicPapers Lemma 5.10 should group vectors by cyclic length or quotient size, not height

[Ognian Milanov @OgnianDev]

@ThomasCabaret84 I have no way to tell, it's too hard and dense for me. I fail to understand the very first step of constructing the weighted equivariant. It's interesting that it works, but it would be nice to describe how to approach finding those.

[Lean @leanprover]

Excited to share the launch of Tau Ceti, a new library of AI-formalized mathematics in Lean, with human-curated roadmaps and adversarial review against open rubrics.

Tau Ceti: https://t.co/D2vJ87Bl79
Review rubrics: https://t.co/jJYpQQwVrx
Roadmaps: https://t.co/QmdWFQar2h
Zulip discussion: https://t.co/Ia2tjjv98a

Tau Ceti sits downstream of Mathlib, the gold standard for human-curated mathematics in Lean. It aims for reusable code others can build on, not the "perfection of knowledge" role Mathlib plays.

Mathematicians contribute roadmaps; AIs implement the formal mathematics and review each other's work against evolving rubrics. Contributors can use the project's tools or their own.

We're glad to co-incubate Tau Ceti alongside Kim Morrison and the Mathlib Initiative. New roadmaps, roadmap review, and AI contributors are all welcome.

#LeanLang #LeanProver #Mathlib #AI #Mathematics

[Ognian Milanov @OgnianDev]

@ThomasCabaret84 Thank you! I guess the magic is in noticing the symmetry and be really good at simplifications. There is no way to fully answer my question than "just be really good"

[Ognian Milanov @OgnianDev]

@ThomasCabaret84 How was r,c,q,rho,psi chosen?

[Ognian Milanov @OgnianDev]

@NoahChrein And learning happens trough following those wormholes - we have to morph what we already know into the next one.

[Ognian Milanov @OgnianDev]

@thsottiaux Fast scrolling of outputs that contain LaTeX renderings.

[Ognian Milanov @OgnianDev]

@antoniolupetti How does it compare with Hammack's book?

[Ognian Milanov @OgnianDev]

@TheDecimalZero It's never too late to delete this

[Patrick Koppenburg 🐧 @PKoppenburg]

Bjarne Stroustrup at CERN. The main Auditorium is packed.

[Ognian Milanov @OgnianDev]

@thsottiaux Thank you!

[Bing Xu @bingxu_]

https://t.co/3i0qSTbjql

[The Scientific Lens @LensScientific]

“We cannot solve our problems with the same thinking we used when we created them.”

— Albert Einstein

[Algebraic Geometry Papers @AlgebraicPapers]

The Algebraic Montgomery-Yang Problem

Woohyeok Jo, Jongil Park, Kyungbae Park
https://t.co/mNE7FTJ54P [𝚖𝚊𝚝𝚑.𝙰𝙶 𝚖𝚊𝚝𝚑.𝙶𝚃]

[Simons Foundation @SimonsFdn]

Mathematician Terence Tao will give a free public lecture on "Mathematics in the Age of AI" at #ICM2026 in Philadelphia on July 24.

Register for a spot and check out other free events at the world’s most prestigious math conference: https://t.co/ZIJPIuhmhF #math #science #AI

[Ognian Milanov @OgnianDev]

@A_A_Toulkeridis @jun_song That's a non-starter, Mistral doesn't lack a catalyst to succeed, but something fundamental that's present in Chinese or US labs. If the EU criminalizes Chinese model use that's practically a full stop for Mistral advance. People who develop it needs actual AI to do so.

[Ognian Milanov @OgnianDev]

@amermathsoc Is there a point of contact, mailing list, or repo for people interested in acting on the call to “build academically oriented technological infrastructure…”?

[Ognian Milanov @OgnianDev]

@TaliaRinger It's ok, equal access to top of the line tools has never been the norm. Open-weights models have crossed the capabilities mark, over which anybody could catch up given enough effort.