TGViewer
very vibe coding very vibe coding @veryvibecoding · 122 subscribers
Post #1645 23
OpenAI доказала кучу каких-то теорем, включая квази гипотезу Римана (гипотеза доказана не везде, а для некоторых значений).

Многие грустят, включая моих мехматовских коллег. Я скорее рад - хочется, чтобы фронтир знаний двигался все дальше.

Но тут вопрос в чем - скоро математик без мощного ИИ будет неконкурентоспособен. Наука перетечет в бигтех и не российский, это точно.

А сама профессия может и почти умереть - Как бы мало математиков ни было, будет еще меньше.. так будет и не только с математиками
OpenAI Sharing AI progress in mathematics OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
More from @veryvibecoding
  1. Oct 7, 2026Google выпустила EmbeddingGemma 2. Это первая открытая мультимодальная модель для эмбеддин…
  2. Oct 7, 2026Еще от OpenAI. После скандалов с тем, насколько всем зарезали лимиты, компания начала разд…
  3. Oct 6, 2026Есть все-таки польза от Grok Bot - поставил на нем агента, который контролирует расход под…
  4. Oct 6, 2026Мне кажется, я догадался, что может произойти. Надо просто уменьшить размер токена в полто…
  5. Oct 6, 2026Первое улучшение - скорость. Оно и правда требовалось, работают моделька очень долго. Но п…
  6. Oct 5, 2026Кажется, что нащупал оптимальный режим работы с кодексом - это модель Sol 6.1 medium. Если…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →