runawayllm Россия связь технологии самит профессор runawayllm Россия

Терренс Тао: ИИ превращает математику в подобие open source-разработки
habr.comhabr.com:

Терренс Тао, один из крупнейших математиков современности и лауреат Филдсовской премии, в интервью каналу Math Inc рассказал о трансформации математики под влиянием ИИ и формальных систем доказательств.

По его словам, сочетание языков вроде Lean с нейросетями меняет саму природу математической работы — от одинокого ремесла к коллективной разработке, похожей на создание программного обеспечения.Тао начинает с признания: около 70% работы математика — это рутина.

Читать на habr.com Все новости от habr.com
Релиз симулятора транспортной компании OpenTTD 15.0
OpenAI привлекает соучредителей Convogo: стартап завершит работу
IQuest-Coder: Новая open-source модель для кодинга
Toyota превращает Gazoo Racing в самостоятельный бренд

Релиз симулятора транспортной компании OpenTTD 15.0

OpenAI привлекает соучредителей Convogo: стартап завершит работу
Toyota превращает Gazoo Racing в самостоятельный бренд
Пока OpenAI готовит IPO на $1 трлн, китайские конкуренты уже торгуются на бирже
Не только Fallout 3: авторитетный инсайдер не сомневается, что в разработке находится ремастер/ремейк Fallout: New Vegas
GPT-5.2 Pro назвали лучшим ИИ для сложной математики
Сильный дебют нового бренда: на CES 2026 представлены TDM Neo — наушники, которые превращаются в Bluetooth‑колонку
Создатели GPT-5-Codex-Max рассказали о будущем разработки ПО
Кризис джуниоров не касается ИИ: OpenAI и Anthropic платят стажерам шестизначные суммы

MiniMax-M2.1: топовая модель для кодинга и ИИ-агентов вышла в open-source

Энтузиаст показал кибердек, который превращает смартфон в полноценное рабочее устройство
Anthropic и OpenAI удвоили лимиты до Нового года. Пользователи Claude не заметили разницы
MiniMax обновила модель M2.1 для ИИ-агентов и разработки ПО
OpenAI тестирует рекламные форматы для ChatGPT с использованием функции Memory
Коллективный иск писателей против OpenAI, Google, xAI и других за обучение ИИ на пиратских библиотеках
Apple в рамках курса по разработке приложений тратит $20 000 на каждого студента
Meta* пересматривает стратегию open-source в ИИ, говорит бывший главный учёный компании
Samsung прощается с AMD? Новый Exynos 2600 получил графику Xclipse 960 собственной разработки

AI-браузеры никогда не будут полностью безопасны — неожиданное признание OpenAI

Вышла GLM-4.7: по кодингу и математике на уровне западных моделей, но за $6 в месяц
Linux Foundation в 2025 года выделила на разработку ядра Linux $8,4 млн, что на $1,6 млн больше, чем в 2024 году
«Яндекс» запустил аренду электровелосипедов собственной разработки
Samsung приостановила разработку преемника Galaxy S25 Edge
Atlas от OpenAI получает мультипрофили и обновления для рабочих пространств
Представлен кондиционер TCL Little Blue Wing P7 Ultra на базе OpenHarmony
Amazon инвестирует $10 млрд в OpenAI в обмен на использование Trainium
WSJ: OpenAI ведет переговоры о сборе $100 млрд при оценке в $830 млрд

В США стартовали продажи нового Casio G-Shock Frogman с титановым безелем

Назван чай, который помогает укрепить иммунитет зимой
WhatsApp могут признать очень большой онлайн-платформой: что это значит?
Алкогольные напитки, вызывающие худшее похмелье, назвал врач
Xiaomi готовит смартфон с встроенным вентилятором и аккумулятором более 8000 мА*ч
Зимний иммунитет: диетологи назвали 6 фруктов для защиты организма
Представлены премиальные часы Casio G-Shock MRG-B2100D-2A
Microsoft позволит видеть меньше рекламы в Windows 11
Hyundai запускает в Европе электрический минивэн Staria
AUDI E5 Sportback стал «Автомобилем года» в Китае

Какие продукты "заставляют" вас переедать и набирать вес

В Китае хотят сделать чат-боты менее эмоциональными
Какие фрукты и овощи повышают защиту организма от диабета
Почему в январе часто рушатся даже крепкие пары, рассказал психолог
Kia представила электрический кроссовер EV2 с запасом хода до 448 км
Mercedes-Benz CLA признан «Автомобилем года 2026» в Европе
Honor продала рекордные 71 млн смартфонов в 2025 году
Инсайдер назвал точную дату выхода линейки флагманских смартфонов Galaxy S26
Mazda представила электрический кроссовер CX-6e на Brussels Motor Show
30 растений в неделю - о новом стандарте питания рассказали эксперты

Что происходит в сознании, когда человек умирает

Необычная польза жевательной резинки, о которой мало кто знает
Вышло обновление Telegram: краткие пересказы от ИИ и дизайн «жидкое стекло»
LG выпустила портативную умную колонку для караоке Xboom Stage 501 со сменным аккумулятором
Clair Obscur: Expedition 33 и Ghost of Yōtei стали лидерами по числу номинаций на ежегодной D.I.C.E. Awards
ТОП-7 вредных кулинарных привычек, от которых стоит избавиться
Вечерняя привычка, которая часто указывает на развитие диабета
Тотальная доминация Китая и провал Tesla Optimus: подведены итоги 2025 года на мировом рынке гуманоидных роботов
SpaceX снизит орбиту спутников Starlink, чтобы уменьшить риск столкновений
Генеративный ИИ на фотонах: Китай показал превосходство над GPU Nvidia в узкоспециализированных задачах
Больше новостей
О нас

Ria24.today - агрегатор самых свежих новостей ведущих новостных сайтов со всего мира. 300+ информационных ресурсов на одном сайте, экономьте своё время.
Самые свежие новости на главной странице, чтобы вы всегда были в курсе, и владели информацией, полученной из разных источников, порой, с диаметральными политическими взглядами.
Актуальные новости 24 часа в сутки, 7 дней в неделю!

ria24.today

Рубрики
Инфо
Рекламодателям
Опубликовать статью

©2026. Все права защищены.

DMCA