Вы наверное уже видели. Claim: gpt-5-pro can prove new interesting mathematics. Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it. It proved a better bound than what is in the paper, and I checked the proof it's correct. Details below. https://x.com/SebastienBubeck/status/1958198661139009862?t=m5Mzg_cRq9lLqgrx3yIzIQ&s=19
Вы наверное уже видели. Claim: gpt-5-pro can prove new interesting mathematics.…
Из этого канала
- #3977Михаил Бронштейн и ко написали практически учебник про геометрическое глубокое…
Михаил Бронштейн и ко написали практически учебник про геометрическое глубокое обучение. Выглядит очень достойно.
- #3979Детали апдейта DeepSeek-V3.1 подъехали…
Детали апдейта DeepSeek-V3.1 подъехали https://api-docs.deepseek.com/news/news250821
- #3983Недавно упоминали термодинамические вычисления, и тут образовалась подборка…
Недавно упоминали термодинамические вычисления, и тут образовалась подборка авторазборов статей по теме: Thermodynamic Natural Gradient Descent, также может…
- #3955Модель протестировали на понимание (в смысле understanding) через классификацию…
Модель протестировали на понимание (в смысле understanding) через классификацию на основе проб, то есть обучая классификаторы поверх эмбеддингов разных…
- #3954Цель этого этапа -- научить энкодер общему зрительному пониманию, поэтому…
Цель этого этапа -- научить энкодер общему зрительному пониманию, поэтому качество оценивают на задачах про движение и классификацию.